The following pages link to (Q4166879):
Displaying 9 items.
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Automata theory based on complete residuated lattice-valued logic: a categorical approach (Q1040923) (← links)
- A categorical approach to minimal realization for a fuzzy language (Q1795371) (← links)
- Categories of quantale-valued fuzzy automata: determinization and minimization (Q2053055) (← links)
- The Vietoris monad and weak distributive laws (Q2307527) (← links)
- Automata and fixed point logic: a coalgebraic perspective (Q2495648) (← links)
- GENERAL FUZZY AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED (Q4553378) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- (Q5212270) (← links)
