Alternating automata and temporal logic normal forms - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Clare Dixon, Alexander Bolotov, Michael Fisher. Alternating automata and temporal logic normal forms. Annals of Pure and Applied Logic, 135(1-3):263-285, 2005. [doi]

The following publications are possibly variants of this publication:

On the Relationship between [ohgr]-automata and Temporal Logic Normal FormsAlexander Bolotov, Michael Fisher, Clare Dixon. logcom, 12(4):561-581, 2002. [doi]

Automata on Infinite Words and Temporal Logic Normal FormsAlexander Bolotov. arw 2000: [doi]

A Normal Form for Temporal Logics and its Applications in Theorem-Proving and ExecutionMichael Fisher. logcom, 7(4):429-456, 1997.

Normal Forms and Proofs in Combined Modal and Temporal LogicsUllrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher. frocos 2000: 73-87

runs on WebDSL