111:
135:
309:
492:
497:
338:
205:
156:
461:
380:
367:
350:
222:
234:
244:
91:
448:
473:
194:
51:
200:
181:
169:
355:
71:
256:
297:
261:
425:
217:
393:
387:
211:
333:
430:
398:
420:
321:
285:
239:
17:
273:
486:
403:
442:
115:
75:
95:
139:
55:
408:
22:
35:
This category has the following 5 subcategories, out of 5 total.
155:
The following 36 pages are in this category, out of 36 total.
8:
157:This list may not reflect recent changes
152:Pages in category "Rewriting systems"
7:
112:Term-rewriting programming languages
161:
132:
48:
37:
29:
14:
310:Knuth–Bendix completion algorithm
339:Normal form (abstract rewriting)
206:Confluence (abstract rewriting)
462:Unification (computer science)
381:Reduction (abstract rewriting)
368:Path ordering (term rewriting)
351:Orthogonality (term rewriting)
223:Critical pair (term rewriting)
136:Unification (computer science)
1:
245:Divergence (computer science)
493:Theoretical computer science
449:Termination (term rewriting)
498:Programming language theory
182:Buchberger's algorithm
514:
474:Word problem (mathematics)
195:Canonical rewriting system
16:The main article for this
15:
235:Dershowitz–Manna ordering
170:Abstract rewriting system
356:Overlap (term rewriting)
257:Encompassment ordering
298:Jean-Pierre Jouannaud
262:Explicit substitution
201:Church–Rosser theorem
92:Substitution (logic)
426:Substitution tiling
334:Newman's lemma
218:Convergence (logic)
394:Reduction strategy
388:Reduction ordering
212:Congruence closure
431:Symmetric closure
399:Reflexive closure
52:Abstract machines
505:
451:
421:Semi-Thue system
390:
383:
322:Markov algorithm
214:
197:
141:
134:
117:
97:
77:
57:
50:
513:
512:
508:
507:
506:
504:
503:
502:
483:
482:
481:
480:
479:
478:
466:
454:
447:
435:
413:
386:
379:
372:
360:
343:
326:
314:
302:
290:
278:
266:
249:
240:Director string
227:
210:
193:
186:
174:
149:
148:
147:
146:
143:
142:
131:
122:
119:
118:
102:
99:
98:
82:
79:
78:
72:Graph rewriting
62:
59:
58:
47:
28:
27:
12:
11:
5:
511:
509:
501:
500:
495:
485:
484:
477:
476:
470:
467:
465:
464:
458:
455:
453:
452:
445:
439:
436:
434:
433:
428:
423:
417:
414:
412:
411:
406:
401:
396:
391:
384:
376:
373:
371:
370:
364:
361:
359:
358:
353:
347:
344:
342:
341:
336:
330:
327:
325:
324:
318:
315:
313:
312:
306:
303:
301:
300:
294:
291:
289:
288:
282:
279:
277:
276:
274:Fresh variable
270:
267:
265:
264:
259:
253:
250:
248:
247:
242:
237:
231:
228:
226:
225:
220:
215:
208:
203:
198:
190:
187:
185:
184:
178:
175:
173:
172:
166:
163:
162:
153:
150:
145:
144:
130:
129:
126:
123:
121:
120:
110:
109:
106:
103:
101:
100:
90:
89:
86:
83:
81:
80:
70:
69:
66:
63:
61:
60:
46:
45:
42:
39:
38:
33:
30:
13:
10:
9:
6:
4:
3:
2:
510:
499:
496:
494:
491:
490:
488:
475:
472:
471:
468:
463:
460:
459:
456:
450:
446:
444:
441:
440:
437:
432:
429:
427:
424:
422:
419:
418:
415:
410:
407:
405:
404:Rewrite order
402:
400:
397:
395:
392:
389:
385:
382:
378:
377:
374:
369:
366:
365:
362:
357:
354:
352:
349:
348:
345:
340:
337:
335:
332:
331:
328:
323:
320:
319:
316:
311:
308:
307:
304:
299:
296:
295:
292:
287:
286:Gröbner basis
284:
283:
280:
275:
272:
271:
268:
263:
260:
258:
255:
254:
251:
246:
243:
241:
238:
236:
233:
232:
229:
224:
221:
219:
216:
213:
209:
207:
204:
202:
199:
196:
192:
191:
188:
183:
180:
179:
176:
171:
168:
167:
164:
160:
158:
151:
137:
133:
128:
127:
124:
113:
108:
107:
104:
93:
88:
87:
84:
73:
68:
67:
64:
53:
49:
44:
43:
40:
36:
32:Subcategories
31:
25:
24:
19:
443:Term (logic)
154:
34:
21:
487:Categories
140:(1 C, 7 P)
56:(1 C, 7 P)
409:Rewriting
23:Rewriting
18:category
116:(11 P)
76:(11 P)
96:(3 P)
20:is
489::
159:.
138:‎
114:‎
94:‎
74:‎
54:‎
469:W
457:U
438:T
416:S
375:R
363:P
346:O
329:N
317:M
305:K
293:J
281:G
269:F
252:E
230:D
189:C
177:B
165:A
125:U
105:T
85:S
65:G
41:A
26:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.