Multi-valued automata and their applications

DOI10.3233/978-1-60750-100-8-179zbMATH Open1214.68197MaRDI QIDQ3060982FDOQ3060982

Authors: Orna Kupferman 

Publication date: 13 December 2010

Recommendations

• Weighted automata
• Lattice Automata
• Weighted automata and multi-valued logics over arbitrary bounded lattices
• Approximating deterministic lattice automata

zbMATH Keywords

latticeonline algorithmsDe Morgan latticelattice automatamulti-valued automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Online algorithms; streaming algorithms (68W27) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (5)

• Direct and dual laws for automata with multiplicities
• Lattice Automata
• Reasoning about online algorithms with weighted automata
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Multi-valued automata and their applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3060982)