%0 Conference Paper %1 conf/agp/Holldobler96 %A Hölldobler, Steffen %B APPIA-GULP-PRODE %D 1996 %E Lucio, Paqui %E Martelli, Maurizio %E Navarro, Marisa %K dblp %P 111-126 %T Equational Logic and Theories of Action. %U http://dblp.uni-trier.de/db/conf/agp/agp1996.html#Holldobler96

@inproceedings{conf/agp/Holldobler96, added-at = {2004-12-02T00:00:00.000+0100}, author = {Hölldobler, Steffen}, biburl = {https://www.bibsonomy.org/bibtex/2fe5bf0d3b75cca595ed749b0c1261b07/dblp}, booktitle = {APPIA-GULP-PRODE}, crossref = {conf/agp/1996}, date = {2004-12-02}, description = {dblp}, editor = {Lucio, Paqui and Martelli, Maurizio and Navarro, Marisa}, interhash = {45de65231abffe31596ccd791dd3a5a9}, intrahash = {fe5bf0d3b75cca595ed749b0c1261b07}, keywords = {dblp}, pages = {111-126}, timestamp = {2004-12-02T00:00:00.000+0100}, title = {Equational Logic and Theories of Action.}, url = {http://dblp.uni-trier.de/db/conf/agp/agp1996.html#Holldobler96}, year = 1996 }