NLambda
From MaRDI portal
Software:34956
No author found.
Related Items (8)
Unnamed Item ⋮ Completeness and incompleteness in nominal Kleene algebra ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Learning nominal automata ⋮ Unnamed Item ⋮ Fast computations on ordered nominal sets ⋮ Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
This page was built for software: NLambda
