scientific article; zbMATH DE number 1848280

MaRDI QIDQ4785458zbMATH OpenFDO

Authors Thomas Wilke

Publication date 25 February 2003

Mathematics Subject Classification ID

Temporal logic (03B44) Semigroups in automata theory, linguistics, etc. (20M35)

Cited in

(8)

• scientific article; zbMATH DE number 2047494 (Why is no real title available?)
• Algebraic Methodology and Software Technology
• Varieties
• From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
• Linear, branching time and joint closure semantics for temporal logic
• An algebraic study of tense logics with linear time
• Finite-trace linear temporal logic: coinductive completeness
• scientific article; zbMATH DE number 6174011 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4785458)