scientific article; zbMATH DE number 7561335
From MaRDI portal
Publication:5090969
DOI10.4230/LIPIcs.FSTTCS.2018.30MaRDI QIDQ5090969
Anca Muscholl, Emmanuel Filiot, Nathan Lhote, Olivier Gauwin
Publication date: 21 July 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A syntactic congruence for rational \(\omega\)-languages
- Two decidability problems for infinite words
- Monadic second-order definable graph transductions: a survey
- Unambiguous Büchi automata.
- Note on: ``How to decide continuity of rational functions on infinite words
- Minimizing subsequential transducers: a survey.
- Determinization of transducers over infinite words: The general case
- Logic-Automata Connections for Transformations
- Learning Rational Functions
- Right-Sequential Functions on Infinite Words
- A combinatorial approach to the theory of ω-automata
- Minimization of Rational Word Functions
- Star-free regular sets of ω-sequences
- Past, Present, and Infinite Future
- First-order definability of rational transductions
- Transducers with Origin Information
- On finite monoids having only trivial subgroups
- On Relations Defined by Generalized Finite Automata
This page was built for publication:
