The following pages link to NLambda (Q34956):
Displaying 8 items.
- Completeness and incompleteness in nominal Kleene algebra (Q2401017) (← links)
- Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture (Q2822649) (← links)
- (Q4972736) (← links)
- (Q5013828) (← links)
- (Q5028487) (← links)
- (Q5207051) (← links)
- Learning nominal automata (Q5370894) (← links)
- Fast computations on ordered nominal sets (Q5918532) (← links)
