Temporal Logic and Annotated Constraint Logic Programming - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thom W. Frühwirth. Temporal Logic and Annotated Constraint Logic Programming. In Michael Fisher, Richard Owens, editors, Executable Modal and Temporal Logics, IJCAI 93, Workshop, Chambéry, France, August 28, 1993, Proceedings. Volume 897 of Lecture Notes in Computer Science, pages 58-68, Springer, 1993.

This author has not been identified. Look up 'Thom W. Frühwirth' in Google

runs on WebDSL