LOIS
From MaRDI portal
Cited in
(12)- Ons
- Completeness and incompleteness in nominal Kleene algebra
- Sigma*
- NLambda
- DEQ
- scientific article; zbMATH DE number 7136664 (Why is no real title available?)
- Residuality and learning for nondeterministic nominal automata
- scientific article; zbMATH DE number 7147443 (Why is no real title available?)
- LOIS: syntax and semantics
- Learning nominal automata
- coneqct
- Fast computations on ordered nominal sets
This page was built for software: LOIS
