Equational Logic and Theories of Action
From International Center for Computational Logic
Equational Logic and Theories of Action
Steffen HölldoblerSteffen Hölldobler
![Equational Logic and Theories of Action Equational Logic and Theories of Action](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
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}
}