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 | Add to Reading List |