%0 Conference Paper %1 conf/alp/FassbenderM96 %A Faßbender, Heinz %A Maneth, Sebastian %B ALP %D 1996 %E Hanus, Michael %E Rodríguez-Artalejo, Mario %I Springer %K dblp %P 194-208 %T A Strict Border for the Decidability of E-Unification for Recursive Functions. %U http://dblp.uni-trier.de/db/conf/alp/alp96.html#FassbenderM96 %V 1139 %@ 3-540-61735-3

@inproceedings{conf/alp/FassbenderM96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Faßbender, Heinz and Maneth, Sebastian}, biburl = {https://www.bibsonomy.org/bibtex/22beaeaa8ca4852db41e7f5ba9a212585/dblp}, booktitle = {ALP}, crossref = {conf/alp/1996}, editor = {Hanus, Michael and Rodríguez-Artalejo, Mario}, ee = {https://doi.org/10.1007/3-540-61735-3_13}, interhash = {437842c87bc5d9c8fe4b545f48487045}, intrahash = {2beaeaa8ca4852db41e7f5ba9a212585}, isbn = {3-540-61735-3}, keywords = {dblp}, pages = {194-208}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T11:37:25.000+0200}, title = {A Strict Border for the Decidability of E-Unification for Recursive Functions.}, url = {http://dblp.uni-trier.de/db/conf/alp/alp96.html#FassbenderM96}, volume = 1139, year = 1996 }