%0 Conference Paper %1 conf/cade/AzmyW13 %A Azmy, Noran %A Weidenbach, Christoph %B CADE %D 2013 %E Bonacina, Maria Paola %I Springer %K %P 109-125 %T Computing Tiny Clause Normal Forms. %U http://dblp.uni-trier.de/db/conf/cade/cade2013.html#AzmyW13 %V 7898 %@ 978-3-642-38573-5

@inproceedings{conf/cade/AzmyW13, added-at = {2023-12-12T20:52:01.000+0100}, author = {Azmy, Noran and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2e61316b121bab6d601cbf5cdc39fb1c3/admin}, booktitle = {CADE}, crossref = {conf/cade/2013}, editor = {Bonacina, Maria Paola}, ee = {https://doi.org/10.1007/978-3-642-38574-2_7}, interhash = {358928eee0b6a3a84a8fb8dec130fe3c}, intrahash = {e61316b121bab6d601cbf5cdc39fb1c3}, isbn = {978-3-642-38573-5}, keywords = {}, pages = {109-125}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T20:52:01.000+0100}, title = {Computing Tiny Clause Normal Forms.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2013.html#AzmyW13}, volume = 7898, year = 2013 }