Rewriting - PDFSEARCH.IO - Document Search Engine

Rewriting
Results: 653

#	Item
641	PDF Document Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2005-07-25 16:30:36 Formal languages Logic in computer science Mathematical logic Confluence Rewriting Theorem Logic Mathematics Theoretical computer science
642	PDF Document Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-05-10 10:15:01 Logic in computer science Logic Mathematical logic Conjunctive query Database theory Datalog Logic programming Resolution Rewriting Theoretical computer science Mathematics Query languages
643	PDF Document Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2007-11-28 12:26:07 Mathematical logic Database management systems Database theory Description logic Information science Algorithm Rewriting Logic Datalog Mathematics Theoretical computer science Science
644	PDF Document Add to Reading List Source URL: theo.cs.uni-magdeburg.de Language: English - Date: 2003-05-12 08:23:04 Theoretical computer science Controlled grammar Context-free grammar Formal grammar Regulated rewriting Linear grammar Context-sensitive grammar Matrix grammar Indexed grammar Formal languages Linguistics Logic
645	PDF Document Add to Reading List Source URL: acl.ldc.upenn.edu Language: English - Date: 2002-06-07 11:27:10 Models of computation Applied mathematics Computer science Finite state transducer Finite-state machine Regular language Formal grammar Rewriting FO Formal languages Theoretical computer science Automata theory
646	PDF Document Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2008-09-29 03:09:14 Graph rewriting GrGen Graph Hypergraph Rewriting Tree SPQR tree Median graph Graph theory Mathematics Theoretical computer science
647	PDF Document Add to Reading List Source URL: www.info.uni-karlsruhe.de Language: English - Date: 2006-04-20 11:43:51 Graph rewriting Graph GrGen Subgraph isomorphism problem Line graph Edge coloring Graph theory Mathematics Theoretical computer science
648	PDF Document Add to Reading List Source URL: www.info.uni-karlsruhe.de Language: English - Date: 2008-08-06 13:01:54 Graph rewriting GrGen Graph Topology Graph theory Mathematics Combinatorics
649	PDF Document Add to Reading List Source URL: www.nue.riec.tohoku.ac.jp Language: English - Date: 2008-11-04 01:37:22 Logic in computer science Formal languages Lambda calculus Mathematical logic Rewriting Computability theory Combinatory logic Normal form Overlap Theoretical computer science Mathematics Computer science
650	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

UPDATE