3 search results - page 1 / 1 » Contextualized Abstraction for Assertion-Level Theorem Provi... |
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
SAIG
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermed...
CONTEXT
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...