1486 search results - page 156 / 298 » A Logically Saturated Extension of |
143
click to vote
KI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...
166
click to vote
ESOP
2008
Springer
15 years 7 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
164
click to vote
ICDIM
2007
IEEE
15 years 7 months ago
2007
IEEE
With the growing popularity of XML there is a need not only to describe the structure of XML data but also its semantics. For the conceptual modelling of XML we can use existing c...
160
click to vote
EACL
2006
ACL Anthology
15 years 7 months ago
2006
ACL Anthology
In this paper1 we introduce eXtensible MetaGrammar, a system that facilitates the development of tree based grammars. This system includes both (1) a formal language adapted to th...
160
click to vote
ENTCS
2006
15 years 6 months ago
2006
Locality is a standard notion of finite model theory. There are two well known flavors of it, based on Hanf's and Gaifman's theorems. Essentially they say that structure...