Riscrittura

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

• Mathematica

Bibliografia

• 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

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