%0 Conference Paper %1 conf/rta/Hoffman05 %A Hoffman, Piotr %B RTA %D 2005 %E Giesl, Jürgen %I Springer %K dblp %P 61-73 %T Union of Equational Theories: An Algebraic Approach. %U http://dblp.uni-trier.de/db/conf/rta/rta2005.html#Hoffman05 %V 3467 %@ 3-540-25596-6

@inproceedings{conf/rta/Hoffman05, added-at = {2017-05-22T00:00:00.000+0200}, author = {Hoffman, Piotr}, biburl = {https://www.bibsonomy.org/bibtex/2b012e3af4ee356fd768722e02009a5a3/dblp}, booktitle = {RTA}, crossref = {conf/rta/2005}, editor = {Giesl, Jürgen}, ee = {https://doi.org/10.1007/978-3-540-32033-3_6}, interhash = {657edf965d807c7308c03d588f219a36}, intrahash = {b012e3af4ee356fd768722e02009a5a3}, isbn = {3-540-25596-6}, keywords = {dblp}, pages = {61-73}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T12:38:55.000+0200}, title = {Union of Equational Theories: An Algebraic Approach.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta2005.html#Hoffman05}, volume = 3467, year = 2005 }