scientific article; zbMATH DE number 7561596

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.

zbMATH Keywords

automataRamsey theorytransducersautomatic structuresvariable independencesynchronized rational relations

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

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: