%0 Conference Paper %1 conf/ctcs/Baader89 %A Baader, Franz %B Category Theory and Computer Science %D 1989 %E Pitt, David H. %E Rydeheard, David E. %E Dybjer, Peter %E Pitts, Andrew M. %E Poigné, Axel %I Springer %K dblp %P 273-299 %T Unification Properties of Commutative Theories: A Categorical Treatment. %U http://dblp.uni-trier.de/db/conf/ctcs/ctcs89.html#Baader89 %V 389 %@ 3-540-51662-X

@inproceedings{conf/ctcs/Baader89, added-at = {2017-05-19T00:00:00.000+0200}, author = {Baader, Franz}, biburl = {https://www.bibsonomy.org/bibtex/2048e89375cbd2cc488138ee82a0eb394/dblp}, booktitle = {Category Theory and Computer Science}, crossref = {conf/ctcs/1989}, editor = {Pitt, David H. and Rydeheard, David E. and Dybjer, Peter and Pitts, Andrew M. and Poigné, Axel}, ee = {https://doi.org/10.1007/BFb0018357}, interhash = {0efb83419695befba941275002e33df0}, intrahash = {048e89375cbd2cc488138ee82a0eb394}, isbn = {3-540-51662-X}, keywords = {dblp}, pages = {273-299}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:19:47.000+0200}, title = {Unification Properties of Commutative Theories: A Categorical Treatment.}, url = {http://dblp.uni-trier.de/db/conf/ctcs/ctcs89.html#Baader89}, volume = 389, year = 1989 }