BOOK EXECUTING TEMPORAL LOGIC PROGRAMS BEN MOSZKOWSKI 0521310997

Executing Temporal Logic Programs By Ben C. Moszkowski

Book Executing Temporal Logic Programs Ben Moszkowski 0521310997

Formal Models of Communicating Systems: Languages, Automata, and Monadic...

Book Executing Temporal Logic Programs Ben Moszkowski 0521310997

Executing Temporal Logic Programs By B.C Moszkowski

Products of Automata. (=Mathematische Lehrbücher und Monographien, II. Abt.: Mat

Temporal Logics in Computer Science: Finite-State Systems By Ste