A pattern logic for automata with outputs

DOI10.1007/978-3-319-98654-8_25zbMath1458.68096arXiv1810.03515OpenAlexW2885898631MaRDI QIDQ1622976

Nicolas Mazzocchi, Emmanuel Filiot, Jean-François Raskin

Publication date: 22 November 2018

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

On computability of data word functions defined by transducers ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Pattern Logic for Automata with Outputs

This page was built for publication: A pattern logic for automata with outputs