Pages that link to "Item:Q1098333"

The following pages link to A case study in automated theorem proving: Finding sages in combinatory logic (Q1098333):

Displayed 4 items.

• The absence and the presence of fixed point combinators (Q807612) ‎ (← links)
• The kernel strategy and its use for the study of combinatory logic (Q1311399) ‎ (← links)
• Automated proofs of equality problems in Overbeek's competition (Q1319385) ‎ (← links)
• The application of automated reasoning to questions in mathematics and logic (Q1354049) ‎ (← links)