Polynomials, Fragments of Temporal Logic and the Variety DA over Traces

DOI10.1007/11779148_5zbMath1227.68061OpenAlexW2114297089MaRDI QIDQ3617044

Manfred Kufleitner

Publication date: 26 March 2009

Published in: Developments in Language Theory (Search for Journal in Brave)

Full work available at URL: http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-25400

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (1)

Fragments of first-order logic over infinite words

This page was built for publication: Polynomials, Fragments of Temporal Logic and the Variety DA over Traces