%0 Conference Paper %1 conf/alp/Antoy92 %A Antoy, Sergio %B ALP %D 1992 %E Kirchner, Hélène %E Levi, Giorgio %I Springer %K dblp %P 143-157 %T Definitional Trees. %U http://dblp.uni-trier.de/db/conf/alp/alp92.html#Antoy92 %V 632 %@ 3-540-55873-X

@inproceedings{conf/alp/Antoy92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Antoy, Sergio}, biburl = {https://www.bibsonomy.org/bibtex/23231083c1502291ff7259fa7519cf521/dblp}, booktitle = {ALP}, crossref = {conf/alp/1992}, editor = {Kirchner, Hélène and Levi, Giorgio}, ee = {https://doi.org/10.1007/BFb0013825}, interhash = {4c412440db519b50fbfa7dfee2dc8fb3}, intrahash = {3231083c1502291ff7259fa7519cf521}, isbn = {3-540-55873-X}, keywords = {dblp}, pages = {143-157}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:44:40.000+0200}, title = {Definitional Trees.}, url = {http://dblp.uni-trier.de/db/conf/alp/alp92.html#Antoy92}, volume = 632, year = 1992 }