NLambda
From MaRDI portal
Software:34956
swMATH23172MaRDI QIDQ34956FDOQ34956
Author name not available (Why is that?)
Cited In (8)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Learning nominal automata
- Title not available (Why is that?)
- Fast computations on ordered nominal sets
- Title not available (Why is that?)
- Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
- Completeness and incompleteness in nominal Kleene algebra
This page was built for software: NLambda
