Skip to main content
Username
*
Password
*
Forgot Password?
F.LI.T.
(Formal LIght-weight Tools)
Main menu
Publications
Publications
Navigation
Publications
You are here
Home
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.
Google Scholar
BibTex
Google Scholar
BibTex