scientific article; zbMATH DE number 6767594
From MaRDI portal
Publication:5351956
DOI10.4230/LIPIcs.CSL.2015.160zbMath1373.03065arXiv2103.15651MaRDI QIDQ5351956
Publication date: 31 August 2017
Full work available at URL: https://arxiv.org/abs/2103.15651
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)
Related Items (8)
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic ⋮ Deciding FO-definability of regular languages ⋮ Aperiodic String Transducers ⋮ Unnamed Item ⋮ Aperiodic String Transducers ⋮ Regular transducer expressions for regular transformations ⋮ Unnamed Item ⋮ From Two-Way Transducers to Regular Function Expressions
This page was built for publication: