%0 Conference Paper %1 conf/micai/BarcenasL13 %A Bárcenas, Everardo %A Lavalle, Jesús %B MICAI (1) %D 2013 %E Castro-Espinoza, Félix %E Gelbukh, Alexander F. %E González-Mendoza, Miguel %I Springer %K dblp %P 80-91 %T Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals. %U http://dblp.uni-trier.de/db/conf/micai/micai2013-1.html#BarcenasL13 %V 8265 %@ 978-3-642-45113-3

@inproceedings{conf/micai/BarcenasL13, added-at = {2022-01-03T00:00:00.000+0100}, author = {Bárcenas, Everardo and Lavalle, Jesús}, biburl = {https://www.bibsonomy.org/bibtex/2d8a4de614f99f7e2fec8efe6a54c5d36/dblp}, booktitle = {MICAI (1)}, crossref = {conf/micai/2013-1}, editor = {Castro-Espinoza, Félix and Gelbukh, Alexander F. and González-Mendoza, Miguel}, ee = {https://doi.org/10.1007/978-3-642-45114-0_7}, interhash = {709eb0a463895e86a8c2119031cb2351}, intrahash = {d8a4de614f99f7e2fec8efe6a54c5d36}, isbn = {978-3-642-45113-3}, keywords = {dblp}, pages = {80-91}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:31:11.000+0200}, title = {Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals.}, url = {http://dblp.uni-trier.de/db/conf/micai/micai2013-1.html#BarcenasL13}, volume = 8265, year = 2013 }