12 search results - page 3 / 3 » Termination Modulo Combinations of Equational Theories |
WADT
1998
Springer
13 years 10 months ago
1998
Springer
Abstract. Narrowing is a method for solving equations in the equational theories of term rewriting systems. Unification and rewriting, the central operations in narrowing, are ofte...
LICS
2009
IEEE
14 years 27 days ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...