REWRITING RULES + PRODUCTIONS (THEORY OF PROGRAMMING)
-
BTTHEORY OF PROGRAMMING
-
UDC004*04*02*04
-
Descriptor GERPRODUKTIONEN (THEORIE DER PROGRAMMIERUNG)
-
Descriptor ENGREWRITING RULES + PRODUCTIONS (THEORY OF PROGRAMMING)
-
Descriptor FRESYSTÈMES DE RÉÉCRITURE + SYSTÈMES DE RÉDUCTION (THÉORIE DE LA PROGRAMMATION)
-
Variant ENGREWRITING RULES (THEORY OF PROGRAMMING)
-
Variant ENGPRODUCTIONS (THEORY OF PROGRAMMING)
-
Variant ENGRULES/REWRITING RULES (THEORY OF PROGRAMMING)
-
Variant FRESYSTÈMES DE RÉÉCR (THÉORIE DE LA PROGRAMMATION)
-
Variant FRESYSTÈMES DE RÉDUCTION (THÉORIE DE LA PROGRAMMATION)
-
Variant FRERÉÉCRITURE (THÉORIE DE LA PROGRAMMATION)
-
Variant FRERÈGLES DE RÉÉCRITURE (THÉORIE DE LA PROGRAMMATION)
-
Variant FRERÉDUCTION/SYSTÈMES DE RÉDUCTION (THÉORIE DE LA PROGRAMMATION)
-
RTCOMPLETION (MATHEMATICAL LOGIC)