scientific article; zbMATH DE number 7561596
From MaRDI portal
Publication:5091265
DOI10.4230/LIPIcs.ICALP.2019.103MaRDI QIDQ5091265
Reino Niskanen, Pablo Barceló, Xuan-Bach Le, Chih-Duo Hong, Anthony Widjaja Lin
Publication date: 21 July 2022
Full work available at URL: https://arxiv.org/abs/1903.00728
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automataRamsey theorytransducersautomatic structuresvariable independencesynchronized rational relations
Related Items (2)
Learning union of integer hypercubes with queries (with applications to monadic decomposition) ⋮ Monadic decomposition in integer linear arithmetic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Synchronized rational relations of finite and infinite words
- Transductions des langages de Chomsky
- Decision problems for subclasses of rational relations over finite and infinite words
- Multitape one-way nonwriting automata
- String solving with word equations and transducers: towards a logic for analysing mutation XSS
- Logical queries over views
- Decision problems among the main subfamilies of rational relations
- Definable relations and first-order query languages over strings
- Computability and Logic
- Regularity and Related Problems for Deterministic Pushdown Automata
- Monadic Decomposition
- Transforming structures by set interpretations
- Recurrent Reachability Analysis in Regular Model Checking
- On Relations Defined by Generalized Finite Automata
- A regularity test for pushdown machines
This page was built for publication: