Pages that link to "Item:Q2786140"
From MaRDI portal
The following pages link to Non-deterministic Kleene coalgebras (Q2786140):
Displaying 16 items.
- A coalgebraic approach to non-determinism: applications to multilattices (Q621576) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- On the Herbrand-Kleene universe for nondeterministic computations (Q1060011) (← links)
- Nondeterministic regular expressions as solutions of equational systems. (Q1401324) (← links)
- A complete logic for behavioural equivalence in coalgebras of finitary set functors (Q1683709) (← links)
- Predicate liftings and functor presentations in coalgebraic expression languages (Q1798785) (← links)
- Models of nondeterministic regular expressions (Q1970200) (← links)
- Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies (Q2134814) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- A description based on languages of the final non-deterministic automaton (Q2449045) (← links)
- A New Foundation for Finitary Corecursion (Q2811335) (← links)
- A Decision Procedure for Bisimilarity of Generalized Regular Expressions (Q2999323) (← links)
- (Q4683859) (← links)
- A coalgebraic take on regular and \(\omega\)-regular behaviour for systems with internal moves (Q5009440) (← links)
- Initial Algebras of Terms with Binding and Algebraic Structure (Q5414966) (← links)
- On star expressions and completeness theorems (Q6653760) (← links)