scientific article; zbMATH DE number 640548
From MaRDI portal
Publication:4306359
Recommendations
Cited in
(14)- Model checking of linear-time properties in multi-valued systems
- Minimization of lattice finite automata and its application to the decomposition of lattice languages
- The category of supercontinuous posets
- On quotients of formal power series
- The universal fuzzy automaton
- Weak Second‐Order Arithmetic and Finite Automata
- scientific article; zbMATH DE number 4158681 (Why is no real title available?)
- scientific article; zbMATH DE number 713431 (Why is no real title available?)
- scientific article; zbMATH DE number 1076478 (Why is no real title available?)
- Structures and properties of free dcpos and free join-complete lattices
- Maximal and minimal semilattices on ordered sets
- Finite automata theory with membership values in lattices
- Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
- Algebraic properties on the cuts of lattice-valued regular languages
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4306359)