%0 Conference Paper %1 conf/rta/GasconMR11 %A Gascón, Adrià %A Maneth, Sebastian %A Ramos, Lander %B RTA %D 2011 %E Schmidt-Schauß, Manfred %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 51-60 %T First-Order Unification on Compressed Terms. %U http://dblp.uni-trier.de/db/conf/rta/rta2011.html#GasconMR11 %V 10 %@ 978-3-939897-30-9

@inproceedings{conf/rta/GasconMR11, added-at = {2018-08-23T00:00:00.000+0200}, author = {Gascón, Adrià and Maneth, Sebastian and Ramos, Lander}, biburl = {https://www.bibsonomy.org/bibtex/2f2667f2b5d4e31bb6da5d26ed75b2ceb/dblp}, booktitle = {RTA}, crossref = {conf/rta/2011}, editor = {Schmidt-Schauß, Manfred}, ee = {https://doi.org/10.4230/LIPIcs.RTA.2011.51}, interhash = {ddbe37bf4a87023d7da8813fd2b8d023}, intrahash = {f2667f2b5d4e31bb6da5d26ed75b2ceb}, isbn = {978-3-939897-30-9}, keywords = {dblp}, pages = {51-60}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:49:52.000+0100}, title = {First-Order Unification on Compressed Terms.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta2011.html#GasconMR11}, volume = 10, year = 2011 }