The following pages link to Ondřej Lengál (Q300411):
Displaying 5 items.
- Verification of heap manipulating programs with ordered data by extended forest automata (Q300414) (← links)
- Compositional entailment checking for a fragment of separation logic (Q1688543) (← links)
- Nested antichains for WS1S (Q1733101) (← links)
- Word equations in synergy with regular constraints (Q6174543) (← links)
- Complementing Büchi Automata with Ranker (Q6487336) (← links)
