Pages that link to "Item:Q1401324"
From MaRDI portal
The following pages link to Nondeterministic regular expressions as solutions of equational systems. (Q1401324):
Displaying 5 items.
- Contract-based discovery of Web services modulo simple orchestrators (Q987977) (← links)
- Models of nondeterministic regular expressions (Q1970200) (← links)
- Non-deterministic Kleene coalgebras (Q2786140) (← links)
- (Q4874651) (← links)
- A Finite Axiomatization of Nondeterministic Regular Expressions (Q4943553) (← links)