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.

Abstract

Abstract is missing.