Pages that link to "Item:Q1311399"
From MaRDI portal
The following pages link to The kernel strategy and its use for the study of combinatory logic (Q1311399):
Displaying 5 items.
- OTTER experiments in a system of combinatory logic (Q1893130) (← links)
- Automatic construction of finite algebras (Q1894320) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- The Legacy of a Great Researcher (Q4913858) (← links)
- Problems on the generation of finite models (Q5210810) (← links)
