%0 Conference Paper %1 conf/miwai/SunA15 %A Sun, Xin %A Ambrossio, Diego Agustín %B MIWAI %D 2015 %E Bikakis, Antonis %E Zheng, Xianghan %I Springer %K dblp %P 72-79 %T Computational Complexity of Input/Output Logic. %U http://dblp.uni-trier.de/db/conf/miwai/miwai2015.html#SunA15 %V 9426 %@ 978-3-319-26180-5

@inproceedings{conf/miwai/SunA15, added-at = {2017-02-13T00:00:00.000+0100}, author = {Sun, Xin and Ambrossio, Diego Agustín}, biburl = {https://www.bibsonomy.org/bibtex/24519795eb7726e2af3e7d77a4c070d5f/dblp}, booktitle = {MIWAI}, crossref = {conf/miwai/2015}, editor = {Bikakis, Antonis and Zheng, Xianghan}, ee = {http://dx.doi.org/10.1007/978-3-319-26181-2_7}, interhash = {b22fd17a1a1e105d7a099529c33da079}, intrahash = {4519795eb7726e2af3e7d77a4c070d5f}, isbn = {978-3-319-26180-5}, keywords = {dblp}, pages = {72-79}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-02-14T11:36:46.000+0100}, title = {Computational Complexity of Input/Output Logic.}, url = {http://dblp.uni-trier.de/db/conf/miwai/miwai2015.html#SunA15}, volume = 9426, year = 2015 }