%0 Conference Paper %1 conf/amast/Gries95 %A Gries, David %B AMAST %D 1995 %E Alagar, Vangalur S. %E Nivat, Maurice %I Springer %K dblp %P 1-17 %T Equational Logic as a Tool. %U http://dblp.uni-trier.de/db/conf/amast/amast95.html#Gries95 %V 936 %@ 3-540-60043-4

@inproceedings{conf/amast/Gries95, added-at = {2018-11-02T00:00:00.000+0100}, author = {Gries, David}, biburl = {https://www.bibsonomy.org/bibtex/2f8302f4c363637b40f944f196fcd1eb8/dblp}, booktitle = {AMAST}, crossref = {conf/amast/1995}, editor = {Alagar, Vangalur S. and Nivat, Maurice}, ee = {https://doi.org/10.1007/3-540-60043-4_43}, interhash = {8e3ca6f38f42f13863d9bec8d320d997}, intrahash = {f8302f4c363637b40f944f196fcd1eb8}, isbn = {3-540-60043-4}, keywords = {dblp}, pages = {1-17}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:24:58.000+0200}, title = {Equational Logic as a Tool.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast95.html#Gries95}, volume = 936, year = 1995 }