The following pages link to On guarded recursion (Q805246):
Displaying 8 items.
- Unguardedness mostly means many solutions (Q549175) (← links)
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- GSOS and finite labelled transition systems (Q1331924) (← links)
- Vertical implementation (Q1854462) (← links)
- Bisimulation on speed: a unified approach (Q2503326) (← links)
- (Q4226991) (← links)
- Bisimulation on speed: Lower time bounds (Q5313721) (← links)
- Codifying guarded definitions with recursive schemes (Q6083895) (← links)