Equational Logic and Theories of Action

From International Center for Computational Logic

Toggle side column

Equational Logic and Theories of Action

Steffen HölldoblerSteffen Hölldobler
Equational Logic and Theories of Action


Steffen Hölldobler
Equational Logic and Theories of Action
In M. Navarro P. Lucio, M. Martelli, eds., Proceedings of the APPIA-GULP-PRODE Joint Conference on Declarative Programming, 111-123, 1996
@inproceedings{H1996,
  author    = {Steffen H{\"{o}}lldobler},
  title     = {Equational Logic and Theories of Action},
  editor    = {M. Navarro P. Lucio and M. Martelli},
  booktitle = {Proceedings of the {APPIA-GULP-PRODE} Joint Conference on
               Declarative Programming},
  year      = {1996},
  pages     = {111-123}
}