NLambda
From MaRDI portal
Cited in
(13)- Ons
- Completeness and incompleteness in nominal Kleene algebra
- Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
- LOIS
- Sigma*
- DEQ
- scientific article; zbMATH DE number 7136664 (Why is no real title available?)
- SMT solving for functional programming over infinite structures
- Residuality and learning for nondeterministic nominal automata
- scientific article; zbMATH DE number 7147443 (Why is no real title available?)
- Learning nominal automata
- coneqct
- Fast computations on ordered nominal sets
This page was built for software: NLambda
