RRewriting Techniques and ApplicationsRewriting Techniques and Applicationsde Aart MiddeldorpEdiciones (1)Rewriting Techniques and Applications (2003)Springer London, Limited · inglés · ISBN 9783540451273Más obras de Aart MiddeldorpFunctional and logic programmingProcesses, terms and cyclesAutomated Deduction - CADE-25
PProcesses, Terms and Cycles : Steps on the Road to InfinityProcesses, Terms and Cycles : Steps on the Road to Infinity