Aart Middeldorp

Automated Deduction - CADE-25

2015

Processes, terms and cycles

2006

Logic for Programming, Artificial Intelligence, and Reasoning

2005

Processes, Terms and Cycles :

Processes, Terms and Cycles : Steps on the Road to Infinity

2005

Functional and logic programming

1997