Kategori:Omskrivning av system
Sidor i kategorin "Omskrivning av system"
A
Abstrakt omskrivningssystem
B
Buchbergers algoritm
C
Church–Rosser sats
Confluence (abstrakt omskrivning)
D
Dershowitz–Manna beställning
Direktör sträng
Divergens (datavetenskap)
E
Explicit substitution
G
Gröbner grund
J
Jean-Pierre Jouannaud
K
Knuth–Bendix kompletteringsalgoritm
Konvergens (logik)
Kritiskt par (termomskrivning)
M
Markov algoritm
N
Newmans lemma
Normal form (abstrakt omskrivning)
O
Omslutningsordning
Ordproblem (matematik)
Ortogonalitet (termomskrivning)
R
Reduktionsstrategi
Reflexstängning
S
Semi-Thue system
Skriv om ordning
Symmetriskt hölje
Sökvägsordning (termomskrivning)
T
Term (logik)
U
Unification (datavetenskap)
Ö
Överlappning (omskrivning av termer)