Abstract rewriting machine

#	Item
1	PDF Document Add to Reading List Source URL: www.logic.at Language: English - Date: 2007-11-23 14:05:31 Logic in computer science Applied mathematics Mathematical logic Rewriting Support Graph rewriting Abstract rewriting machine Theoretical computer science Mathematics Formal languages
2	PDF Document Add to Reading List Source URL: cl-informatik.uibk.ac.at Language: English - Date: 2007-08-10 15:44:11 Formal languages Computer science Logic in computer science Computability theory Mathematical logic Rewriting Primitive recursive function Fold Abstract rewriting machine Theoretical computer science Recursion Mathematics