Equational Logic and Theories of Action

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

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}
}