Category:Term rewriting systems
Jump to navigation
Jump to search
Subcategories
This category has the following 5 subcategories, out of 5 total.
Media in category "Term rewriting systems"
The following 55 files are in this category, out of 55 total.
-
An algorithm to test for confluence in a system of left to right rewrite rules. (IA algorithmtotestf00grif).pdf 1,177 × 1,620, 74 pages; 3.58 MB
-
Cassidy.1985.015.gif 1,087 × 357; 136 KB
-
Confluence example expression.svg 308 × 240; 6 KB
-
Confluence.png 283 × 283; 5 KB
-
Confluence.svg 369 × 333; 3 KB
-
Confluente.GIF 100 × 100; 1 KB
-
CritPair svg.svg 1,612 × 1,081; 4.88 MB
-
CritPair.pdf 2,685 × 1,800; 94 KB
-
Cyclic locally, but not globally confluent rewrite system.png 507 × 228; 959 bytes
-
Dag f(a,g(b,b)).jpg 107 × 107; 5 KB
-
Discrimination tree-diagram.svg 398 × 406; 7 KB
-
DoublePushout.PNG 271 × 166; 3 KB
-
Encompassment ordering on terms s,t svg.svg 287 × 294; 18 KB
-
Encompassment ordering on terms s,t.pdf 477 × 489; 12 KB
-
Example term for position, path, depth, match svg.svg 578 × 337; 41 KB
-
Example term for position, path, depth, match.pdf 962 × 560; 21 KB
-
FortementeConfluente.GIF 100 × 100; 1 KB
-
GraphRewriteExample color.png 374 × 366; 5 KB
-
GraphRewriteExample.PNG 374 × 366; 10 KB
-
Knuthbendix semigroupes idempotents exemple.svg 363 × 526; 55 KB
-
Lafont1.jpg 202 × 74; 4 KB
-
Lafont2.jpg 127 × 124; 5 KB
-
Lafont3.jpg 182 × 62; 3 KB
-
Lemme de Newman Confluence locale.svg 159 × 159; 11 KB
-
Lemme Newman confluence.svg 159 × 159; 13 KB
-
Lemme newman demonstration.svg 190 × 203; 23 KB
-
Local-confluence.svg 369 × 333; 2 KB
-
LocamenteConfluente.GIF 100 × 100; 1 KB
-
Loop f(a,g(b,g)).png 198 × 154; 4 KB
-
NTerminante.GIF 150 × 100; 2 KB
-
Principe de la complétion de Knuth-Bendix.svg 201 × 330; 39 KB
-
Proof of x=ex.png 1,046 × 376; 19 KB
-
PropriedadeDiamante.GIF 100 × 100; 1 KB
-
Reecriture confluence locale cas1.png 721 × 990; 95 KB
-
Reecriture confluence locale cas2.png 786 × 1,069; 172 KB
-
Reecriture confluence locale cas3.png 702 × 598; 74 KB
-
Rippling + com.pdf 1,150 × 383, 5 pages; 60 KB
-
Semi-confluence.svg 369 × 333; 3 KB
-
SemiConfluente.GIF 100 × 100; 1 KB
-
A simple proof of a generalized Church-Rosser theorem (IA simpleproofofgen00macl).pdf 1,160 × 1,635, 22 pages; 1.08 MB
-
SinglePushout.PNG 176 × 159; 2 KB
-
Solving the word problem without and with completion svg.svg 726 × 744; 203 KB
-
Solving the word problem without and with completion.pdf 1,210 × 1,239; 9 KB
-
Strong-confluence.svg 369 × 333; 2 KB
-
Substitution Explicite.jpg 85 × 60; 4 KB
-
Substitution tree.svg 298 × 146; 4 KB
-
Term as a tree.jpg 2,448 × 3,264; 1.81 MB
-
Tree f(a,g(b,b)).jpg 126 × 99; 5 KB
-
Tree f(a,g(b,g)).png 294 × 258; 8 KB
-
Tree structure of mathematical first-order terms svg.svg 620 × 266; 19 KB
-
Tree structure of mathematical first-order terms.pdf 1,033 × 441; 32 KB
-
Triangle diagram of rewrite rule application svg.svg 641 × 294; 29 KB
-
Triangle diagram of rewrite rule application.pdf 1,068 × 489; 13 KB
-
Weak conf.svg 114 × 322; 5 KB