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