Sciweavers

3319 search results - page 7 / 664
» Type Theoretical Databases
Sort
View
78
Voted
TLCA
1993
Springer
15 years 4 months ago
Pure Type Systems Formalized
James McKinna, Robert Pollack
124
Voted
COLING
2000
15 years 2 months ago
Querying Temporal Databases Using Controlled Natural Language
Recent years have shown a surge in interest in temporal database systems, which allow users to store time-dependent intbrmation. We present a novel controlled natural language int...
Rani Nelken, Nissim Francez
95
Voted
JFLP
2002
84views more  JFLP 2002»
15 years 10 days ago
Subject Reduction of Logic Programs as Proof-Theoretic Property
We consider prescriptive type systems for logic programs (as in G
Pierre Deransart, Jan-Georg Smaus
66
Voted
RTA
1998
Springer
15 years 4 months ago
An On-line Problem Database
Nachum Dershowitz, Ralf Treinen