VDict - Definition of term graph rewriting

search result for term graph rewriting in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 7 Next > Last

graph rewriting system FP2 Lean MONSTR PROgrammed Graph REwriting Systems DACTL Moore graph PROGRES graph learning curve Root Normal Form Alice Clean TRS term rewriting system complete graph GIRL directed graph connected graph Graph-Oriented Object Database Hamiltonian problem iterative deepening GEA GRAPPLE graph reduction VP-Planner Weak Head Normal Form bipartite graph graph coloring regular graph Bertrand connected subgraph register allocation FGRAAL directed acyclic graph background Graph Algorithm and Software Package standard semantics FGL Compiler Target Language projection graph colouring depth-first search search term chromatic number weighted search tree constant applicative form TERM combinator serialise T debugging closed term observational equivalence wallpaper elite munge Service Access Point munchkin CTY multisync hot spot personal computer computer literacy narrowing OBJ3 octet system mangler Berkeley Quality Software free variable Microsloth Windows microtape bitty box divisor angry fruit salad webmaster Mongolian Hordes technique dusty deck lazy evaluation

First < Previous 1 2 3 4 5 6 7 Next > Last