2138 search results - page 198 / 428 » Logical Step-Indexed Logical Relations |
137
click to vote
ENTCS
2007
15 years 6 months ago
2007
Often debates about pros and cons of various techniques for formalising lambda-calculi rely on subjective arguments, such as de Bruijn indices are hard to read for humans or nomin...
133
click to vote
FUIN
2007
15 years 6 months ago
2007
We give formulations for modal deductive databases and present a modal query language called MDatalog. We define modal relational algebras and give the seminaive evaluation algor...
258
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
In response to the widespread use of the XML format for document representation and message exchange, major database vendors support XML in terms of persistence, querying and inde...
189
click to vote
HASKELL
2006
ACM
16 years 16 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
179
click to vote
TSMC
2008
15 years 6 months ago
2008
Abstract-- This paper presents a method that uses gene ontologies, together with the paradigm of relational subgroup discovery, to find compactly described groups of genes differen...