REWRITING RULES + PRODUCTIONS (THEORY OF PROGRAMMING)
  • BT
    THEORY OF PROGRAMMING
  • UDC
    004*04*02*04
  • Descriptor GER
    PRODUKTIONEN (THEORIE DER PROGRAMMIERUNG)
  • Descriptor ENG
    REWRITING RULES + PRODUCTIONS (THEORY OF PROGRAMMING)
  • Descriptor FRE
    SYSTÈMES DE RÉÉCRITURE + SYSTÈMES DE RÉDUCTION (THÉORIE DE LA PROGRAMMATION)
  • Variant ENG
    REWRITING RULES (THEORY OF PROGRAMMING)
  • Variant ENG
    PRODUCTIONS (THEORY OF PROGRAMMING)
  • Variant ENG
    RULES/REWRITING RULES (THEORY OF PROGRAMMING)
  • Variant FRE
    SYSTÈMES DE RÉÉCR (THÉORIE DE LA PROGRAMMATION)
  • Variant FRE
    SYSTÈMES DE RÉDUCTION (THÉORIE DE LA PROGRAMMATION)
  • Variant FRE
    RÉÉCRITURE (THÉORIE DE LA PROGRAMMATION)
  • Variant FRE
    RÈGLES DE RÉÉCRITURE (THÉORIE DE LA PROGRAMMATION)
  • Variant FRE
    RÉDUCTION/SYSTÈMES DE RÉDUCTION (THÉORIE DE LA PROGRAMMATION)
  • RT
    COMPLETION (MATHEMATICAL LOGIC)
·
Last data import from Alma: 1 January 2025