Aart Middeldorp · 6 obras en el catálogoObrasFunctional and logic programmingProcesses, terms and cyclesAutomated Deduction - CADE-25Logic for Programming, Artificial Intelligence, and ReasoningPProcesses, Terms and Cycles : Steps on the Road to InfinityProcesses, Terms and Cycles : Steps on the Road to InfinityRRewriting Techniques and ApplicationsRewriting Techniques and Applications
PProcesses, Terms and Cycles : Steps on the Road to InfinityProcesses, Terms and Cycles : Steps on the Road to Infinity