%0 Conference Paper %1 conf/birthday/GoguenL05 %A Goguen, Joseph A. %A Lin, Kai %B We Will Show Them! (2) %D 2005 %E Artëmov, Sergei N. %E Barringer, Howard %E d'Avila Garcez, Artur S. %E Lamb, Luís C. %E Woods, John %I College Publications %K dblp %P 1-38 %T Specifying, Programming and Verifying with Equational Logic. %U http://dblp.uni-trier.de/db/conf/birthday/Gabbay2.html#GoguenL05 %@ 1-904987-26-5

@inproceedings{conf/birthday/GoguenL05, added-at = {2005-11-23T00:00:00.000+0100}, author = {Goguen, Joseph A. and Lin, Kai}, biburl = {https://www.bibsonomy.org/bibtex/256f7410ea4d3e3f5769d28e06ac00e29/dblp}, booktitle = {We Will Show Them! (2)}, crossref = {conf/birthday/2005gabbay2}, editor = {Artëmov, Sergei N. and Barringer, Howard and d'Avila Garcez, Artur S. and Lamb, Luís C. and Woods, John}, interhash = {30cc8e2101e8615eca1dea31cc66db69}, intrahash = {56f7410ea4d3e3f5769d28e06ac00e29}, isbn = {1-904987-26-5}, keywords = {dblp}, pages = {1-38}, publisher = {College Publications}, timestamp = {2020-07-10T11:42:48.000+0200}, title = {Specifying, Programming and Verifying with Equational Logic.}, url = {http://dblp.uni-trier.de/db/conf/birthday/Gabbay2.html#GoguenL05}, year = 2005 }