You are here

An Algebraic Theory of Observables

M. Comini and Levi, G., An Algebraic Theory of Observables, Proceedings of the 1994 Int'l Symposium on Logic Programming. The MIT Press, pp. 172–186, 1994.