Computing in Systems Described by Equations

SOMMARIO

I: Introduction.- II: Syntax, semantics and proof theory for equational logic.- III: Subtree replacement systems.- IV: The confluence property and the Church-Rosser property.- V: Termination.- VI: Costs of reduction sequences.- VII: Schematic definitions of SRSs.- VIII: Recursively defined functions.- IX: Applications of SRS theory to LISP and lucid.- X: Another approach to confluence, termination, optimality.

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9783540085317
• Collana: Lecture Notes in Computer Science
• Dimensioni: 235 x 155 mm
• Formato: Brossura
• Illustration Notes: XVI, 116 p.
• Pagine Arabe: 116
• Pagine Romane: xvi