The following pages link to LOIS: syntax and semantics (Q5370892):
Displaying 7 items.
- Completeness and incompleteness in nominal Kleene algebra (Q2401017) (← links)
- Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture (Q2822649) (← links)
- (Q4972736) (← links)
- (Q5028487) (← links)
- (Q5089311) (← links)
- (Q5207051) (← links)
- Fast computations on ordered nominal sets (Q5918532) (← links)