%0 Conference Paper %1 conf/sofsem/Borovansky95 %A Borovanský, Peter %B SOFSEM %D 1995 %E Bartosek, Miroslav %E Staudek, Jan %E Wiedermann, Jirí %I Springer %K dblp %P 363-368 %T Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution. %U http://dblp.uni-trier.de/db/conf/sofsem/sofsem1995.html#Borovansky95 %V 1012 %@ 3-540-60609-2

@inproceedings{conf/sofsem/Borovansky95, added-at = {2017-05-22T00:00:00.000+0200}, author = {Borovanský, Peter}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/281e999dc43ec705ce13947fc6fe74ca4/dblp}, booktitle = {SOFSEM}, crossref = {conf/sofsem/1995}, editor = {Bartosek, Miroslav and Staudek, Jan and Wiedermann, Jirí}, ee = {https://doi.org/10.1007/3-540-60609-2_18}, interhash = {8e5e8341d9399cfdfb69239b8ed4a037}, intrahash = {81e999dc43ec705ce13947fc6fe74ca4}, isbn = {3-540-60609-2}, keywords = {dblp}, pages = {363-368}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T18:16:32.000+0200}, title = {Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution.}, url = {http://dblp.uni-trier.de/db/conf/sofsem/sofsem1995.html#Borovansky95}, volume = 1012, year = 1995 }