Extensional Theories and Rewriting

This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automated proving technique, called extensional rewriting, that can be instantiated and then used to prove equational properties in various particular extensional theories.

• Type: Conference
• Year: 2004
• Where: ICALP
• Authors: Grigore Rosu
• Keywords: Extensional Rewriting, Extensional Theories, ICALP 2004, Particular Extensional Theories, Theoretical Computer Science