First Page | Document Content | |
---|---|---|
Date: 2016-12-11 09:15:55Theoretical computer science Programming language theory Mathematics Formal languages Mathematical logic Logic in computer science Computability theory Rewriting Normal form Graph rewriting Pure Term | Termgraph Rewriting Maria Schett Supervisors: Martin Avanzini, Georg Moser November 8, 2011Add to Reading ListSource URL: www.maria-a-schett.netDownload Document from Source WebsiteFile Size: 120,32 KBShare Document on Facebook |