scientific article

zbMath1483.68164MaRDI QIDQ3384166

Wolfgang Schreiner, Temur Kutsia, George Rahonis, Manfred Droste

Publication date: 14 December 2021

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2017.8

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70)

Related Items (2)

McCarthy-Kleene fuzzy automata and MSO logics ⋮ Reasoning about Quality and Fuzziness of Strategic Behaviors

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fuzzy semirings with applications to automata theory
• Handbook of weighted automata
• Weighted finite automata over strong bimonoids
• Determinization of weighted finite automata over strong bimonoids
• Proof systems for reasoning about computation errors
• Transductions des langages de Chomsky
• Asynchronous cellular automata for pomsets
• Weighted automata and weighted logics
• Weak Second‐Order Arithmetic and Finite Automata
• Decision Problems of Finite Automata Design and Related Arithmetics
• Fuzzy Languages

This page was built for publication: