On First-Order Fragments for Words and Mazurkiewicz Traces

DOI10.1007/978-3-540-73208-2_1zbMath1202.03048OpenAlexW1528576155MaRDI QIDQ5428216

Volker Diekert, Manfred Kufleitner

Publication date: 28 November 2007

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

Full work available at URL: https://doi.org/10.1007/978-3-540-73208-2_1

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: On First-Order Fragments for Words and Mazurkiewicz Traces