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