%0 Conference Paper %1 conf/cade/Libal12 %A Libal, Tomer %B UNIF %D 2012 %E Escobar, Santiago %E Korovin, Konstantin %E Rybakov, Vladimir V. %I EasyChair %K dblp %P 28-49 %T Bounded Higher-order Unification using Regular Terms. %U http://dblp.uni-trier.de/db/conf/cade/unif2012.html#Libal12 %V 24

@inproceedings{conf/cade/Libal12, added-at = {2021-08-15T00:00:00.000+0200}, author = {Libal, Tomer}, biburl = {https://www.bibsonomy.org/bibtex/24423e973a6c62c40e4f8dfd5292dfcf1/dblp}, booktitle = {UNIF}, crossref = {conf/cade/2012unif}, editor = {Escobar, Santiago and Korovin, Konstantin and Rybakov, Vladimir V.}, ee = {https://doi.org/10.29007/zhpc}, interhash = {4f48840d240804b435aec0948fc8c8de}, intrahash = {4423e973a6c62c40e4f8dfd5292dfcf1}, keywords = {dblp}, pages = {28-49}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T18:55:15.000+0200}, title = {Bounded Higher-order Unification using Regular Terms.}, url = {http://dblp.uni-trier.de/db/conf/cade/unif2012.html#Libal12}, volume = 24, year = 2012 }