scientific article

zbMath1262.03057MaRDI QIDQ2893298

Christian Choffrut

Publication date: 20 June 2012

Full work available at URL: http://iospress.metapress.com/content/r3x5263t8w5323u7/fulltext.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

first-order logicfinite automatasecond-order logicrational subsetsrecognizable languagestrace monoid

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items (1)

A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness

This page was built for publication: