The following pages link to Computing with Böhm trees (Q2708318):
Displaying 6 items.
- An algebraic view of the Böhm-out technique (Q1275631) (← links)
- Easiness in graph models (Q2368937) (← links)
- Böhm trees as higher-order recursion schemes (Q2963900) (← links)
- Abstract Böhm trees (Q4236200) (← links)
- Computing with Tangles (Q5892103) (← links)
- Rewriting Techniques and Applications (Q5901571) (← links)