scientific article; zbMATH DE number 7566079

MaRDI QIDQ5094153

Vrunda Dave, Emmanuel Filiot, Nathan Lhote, Shankara Narayanan Krishna

Publication date: 2 August 2022

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

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

zbMATH Keywords

synthesiscontinuitycomputabilityinfinite wordstransducers

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On uniformly continuous functions for some profinite topologies
• Regularity-preserving relations
• Note on: ``How to decide continuity of rational functions on infinite words
• A pattern logic for automata with outputs
• Minimizing subsequential transducers: a survey.
• Regular transducer expressions for regular transformations
• On computability of data word functions defined by transducers
• XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles
• Logic-Automata Connections for Transformations
• A Circuit Complexity Approach to Transductions
• Regular Transformations of Infinite Strings
• Regularity preserving modifications of regular expressions
• Continuity and Rational Functions
• Regular Real Analysis
• Automata with Reversal-Bounded Counters: A Survey
• Solving Sequential Conditions by Finite-State Strategies

This page was built for publication: