User:Gualeve/Books/teoria da computacao reescrita


 * Binary relation
 * Lambda calculus
 * Abstract rewriting system
 * Normal form (abstract rewriting)
 * Rewriting
 * Confluence (abstract rewriting)