scientific article; zbMATH DE number 7649888

DOI10.4230/LIPIcs.CALCO.2019.5MaRDI QIDQ5875345

Vincenzo Ciancia, Yde Venema

Publication date: 3 February 2023

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

zbMATH Keywords

coalgebrabisimilaritystreamsregular omega-languagesomega-automata

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite-state \(\omega\)-languages
• A syntactic congruence for rational \(\omega\)-languages
• Learning regular sets from queries and counterexamples
• On syntactic congruences for \(\omega\)-languages
• Universal coalgebra: A theory of systems
• Efficient minimization of deterministic weak \(\omega\)-automata
• Categorical Büchi and parity conditions via alternating fixed points of functors
• Automata, logics, and infinite games. A guide to current research
• Coalgebra learning via duality
• A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours
• Stream Automata Are Coalgebras
• Learning Regular Omega Languages
• A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees
• Powers of Regular Languages
• AN ALGEBRAIC THEORY FOR REGULAR LANGUAGES OF FINITE AND INFINITE WORDS
• Ultimately periodic words of rational ω-languages

This page was built for publication: