Reasoning about Action and Change Using Dijkstra s Semantics for Programming Languages: Preliminary Report

Witold Lukaszewicz, Ewa Madalinska-Bugaj. Reasoning about Action and Change Using Dijkstra s Semantics for Programming Languages: Preliminary Report. In IJCAI. pages 1950-1955, 1995.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.