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