2203 search results - page 76 / 441 » Temporal Abstract Interpretation |
118
click to vote
CCA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...
118
Voted
ICPP
1996
IEEE
15 years 7 months ago
1996
IEEE
Abstract
JOCN
2006
15 years 3 months ago
2006
f words in abstract: 141 Number of words in text: Number of figures: 5
145
Voted
PPSWR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...