The following pages link to LOIS: syntax and semantics (Q5370892):
Displayed 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)
- (Q5028487) (← links)
- (Q5089311) (← links)
- (Q5207051) (← links)
- Fast computations on ordered nominal sets (Q5918532) (← links)
- On-the-fly bisimilarity checking for fresh-register automata (Q6168987) (← links)