Michael Morreau (1990): Actions with Preconditions and Postconditions


Title: Actions with Preconditions and Postconditions
Author(s): Michael Morreau
Year: 1990
Booktitle: Proceedings of the Workshop on Nonclassical Logics and Information Processing
Editor(s): D. Pearse and H. Wansing
Pages: 56-55
Publisher: Springer
Address: Berlin

Concepts