2138 search results - page 289 / 428 » Logical Step-Indexed Logical Relations |
185
click to vote
TIME
2005
IEEE
16 years 1 days ago
2005
IEEE
Historical information can be effectively preserved using XML and searched through powerful historical queries written in XQuery. Indeed, by storing the successive versions of a d...
178
click to vote
CSL
2005
Springer
16 years 14 hour ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
154
click to vote
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program’s constants. We define a ...
162
click to vote
TLCA
2005
Springer
15 years 12 months ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
139
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...