Polynomials, fragments of temporal logic and the variety DA over traces

DOI10.1016/J.TCS.2007.01.014zbMath1111.68059OpenAlexW2037688028MaRDI QIDQ880176

Manfred Kufleitner

Publication date: 11 May 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2007.01.014

zbMATH Keywords

temporal logicMazurkiewicz tracespolynomial closure

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Temporal logic (03B44)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On varieties of rational languages and variable length codes. II
• Locally trivial categories and unambiguous concatenation
• Polynomial closure and unambiguous product
• Profinite semigroups, Mal'cev products, and identities
• Parallel Program Schemata and Maximal Parallelism I. Fundamental Results

This page was built for publication: Polynomials, fragments of temporal logic and the variety DA over traces