scientific article; zbMATH DE number 7577573

MaRDI QIDQ5101342

Pierre-Alain Reynier, Léo Exibard, Emmanuel Filiot, Nathan Lhote

Publication date: 30 August 2022

Full work available at URL: https://arxiv.org/abs/2101.07038

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

zbMATH Keywords

continuitycomputabilitydata wordsregister automatafunctionalityregister transducers

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Note on: ``How to decide continuity of rational functions on infinite words
• Finite-state strategies in delay games
• On computability of data word functions defined by transducers
• Temporal logics on strings with prefix relation
• Automata theory in nominal sets
• Degrees of Lookahead in Context-free Infinite Games
• Synthesis with Identifiers
• LTL with the freeze quantifier and register automata
• FINITE-MEMORY AUTOMATA WITH NON-DETERMINISTIC REASSIGNMENT
• Degrees of Lookahead in Regular Infinite Games
• Handbook of Model Checking
• On equivalence and uniformisation problems for finite transducers
• Solving Sequential Conditions by Finite-State Strategies
• Synthesis of Data Word Transducers
• Bounded synthesis of register transducers