Riscrittura

Da Wikipedia, l'enciclopedia libera.

In matematica, informatica e logica, il termine riscrittura (di termini o espressioni) indica una varietà di metodi potenzialmente non deterministici per sostituire le sottoespressioni di una formula con altri termini.

Voci correlate[modifica | modifica sorgente]

Bibliografia[modifica | modifica sorgente]

  • Nachum Dershowitz and Jean-Pierre Jouannaud. Rewrite Systems (1990). Capitolo 6 di Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pp.243–320.
  • Term Rewriting Systems, Terese, Cambridge Tracts in Theoretical Computer Science, 2003
  • Term Rewriting and All That, Franz Baader and Tobias Nipkow, Cambridge University Press, 1998


matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica