2696 search results - page 46 / 540 » Semantic Abstraction and Anaphora |
156
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
163
click to vote
AC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. A tension in language design has been between simple semantics on the one hand, and rich possibilities for side-effects, exception
189
click to vote
LANMR
2007
15 years 7 months ago
2007
Abstract. We present GLukG, a paraconsistent logic recently introduced. We discuss our motivation as well as interesting properties of this logic. We introduce a non-monotonic sema...
133
click to vote
LFP
1990
15 years 7 months ago
1990
d Abstract) V. Breazu-Tannen C. A. Gunter A. Scedrov University of Pennsylvania This paper relates two views of the operational semantics of a language with multiple
150
click to vote
BPSC
2009
15 years 7 months ago
2009
Abstract: This paper investigates the the development and evolution of concepts and the management of transformers, which adds semantics to the concepts. We illustrate how concepts...