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