Categoria:Sistemas de reescrita de termos

Esta categoria contém páginas sobre sistemas de reescrita de termos.

Páginas na categoria "Sistemas de reescrita de termos"

Esta categoria contém as seguintes 6 páginas (de um total de 6).

C

Confluência (sistemas de reescrita de termos)

F

Forma normal

L

Lema de Newman

P

Par crítico

S

Sistema de redução abstrato

T

Teorema de Church-Rosser

Obtida de "https://pt.wikipedia.org/w/index.php?title=Categoria:Sistemas_de_reescrita_de_termos&oldid=17248379"