First Page | Document Content | |
---|---|---|
![]() Date: 2007-11-23 14:05:31Logic in computer science Applied mathematics Mathematical logic Rewriting Support Graph rewriting Abstract rewriting machine Theoretical computer science Mathematics Formal languages | Source URL: www.logic.atDownload Document from Source WebsiteShare Document on Facebook |