scientific article

From MaRDI portal

Publication:2904787

Jump to:navigation, search

DOI10.4230/LIPIcs.STACS.2012.489zbMath1245.68124MaRDI QIDQ2904787

Frederik Harwath, Nicole Schweikardt

Publication date: 23 August 2012

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

zbMATH Keywords

regular tree languages addition-invariant first-order logic algebraic closure properties decidable characterisations logical interpretations

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Algebraic theory of languages and automata (68Q70)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2904787&oldid=15871316"