Equational Logic and Theories of Action
From International Center for Computational Logic
Equational Logic and Theories of Action
Steffen HölldoblerSteffen Hölldobler
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
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
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@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}
}
