A Logical Reconstruction of Temporal Databases (English)
- New search for: Finger, M.
- New search for: Finger, M.
In:
JOURNAL OF LOGIC AND COMPUTATION
;
10
;
847-876
;
2000
-
ISSN:
- Article (Journal) / Print
-
Title:A Logical Reconstruction of Temporal Databases
-
Contributors:Finger, M. ( author )
-
Published in:JOURNAL OF LOGIC AND COMPUTATION ; 10 ; 847-876
-
Publisher:
- New search for: OXFORD UNIVERSITY PRESS
-
Publication date:2000-01-01
-
Size:30 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 005.115
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 005.115 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 10
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
EditorialGabbay, D / Woods, J et al. | 2000
- 3
-
SPADES - a process algebra for discrete event simulationHarrison, PG / Strulo, B et al. | 2000
- 43
-
Investigating ZHenson, MC / Reeves, S et al. | 2000
- 75
-
Object calculi in linear logicBugliesi, M / Delzanno, G / Liquori, L / Martelli, M et al. | 2000
- 105
-
Tractable and intractable instances of combination problems for unification and disunificationSchulz, KU et al. | 2000
- 137
-
Internalizing labelled deductionBlackburn, P et al. | 2000
- 169
-
Books received| 2000
- 171
-
Forthcoming papers| 2000
- 173
-
Proof-terms for classical and intuitionistic resolutionRitter, E / Pym, D / Wallen, L et al. | 2000
- 209
-
Stability, the finite cover property and 0-1 lawsBaldwin, JT et al. | 2000
- 213
-
Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositionsAguzzoli, S / Ciabattoni, A / Di Nola, A et al. | 2000
- 223
-
The product of converse PDL and polymodal KWolter, F et al. | 2000
- 253
-
Two alternative notions of 'possibility' satisfying Halpern's conditionsSu, K / Chen, H / Ding, D et al. | 2000
- 271
-
Completeness of neighbourhood logicBarua, R / Roy, S / Chaochen, Z et al. | 2000
- 297
-
On the expressive limits of reified theoriesAkinkunmi, BO et al. | 2000
- 315
-
Book review. Twenty-Five Years of Constructive Type Theory. G Sambin, J SmithThompson, S et al. | 2000
- 323
-
Stable results and relative normalizationGlauert, J / Kennaway, R / Khasidashvili, Z et al. | 2000
- 349
-
Relating the {lambda}{sigma}- and {lambda}s-styles of explicit substitutionsKamareddine, F / Rìos, A et al. | 2000
- 349
-
Relating the [lambda sigma] and [lambda sigma]-Styles of Explicit SubstitutionsKamareddine, F. et al. | 2000
- 381
-
A syntactical analysis of normalizationKhasidashvili, Z / Piperno, A et al. | 2000
- 411
-
A linearization of the Lambda-calculus and consequencesKfoury, AJ et al. | 2000
- 437
-
A geometric proof of confluence by decreasing diagramsKlop, JW / van Oostrom, V / de Vrijer, R et al. | 2000
- 461
-
Axiomatic rewriting theory II: the {lambda}{sigma}-calculus enjoys finite normalisation conesMelliès, P-A et al. | 2000
- 489
-
Conferences| 2000
- 493
-
Coherence and transitivity of subtyping as entailmentLongo, G / Milsted, K / Soloviev, S et al. | 2000
- 527
-
Presentation of proofs in modal natural deductionde Lima, EF / Lingenfelder, C et al. | 2000
- 573
-
Unrestricted preferential structuresSchlechta, K et al. | 2000
- 583
-
The logic of conflicts between decision making agentsEkenberg, L et al. | 2000
- 603
-
Measuring similarity in belief revisionPeppas, P / Foo, N / Nayak, A et al. | 2000
- 625
-
Ramification and causality in a modal action logicGiordano, L / Martelli, A / Schwind, C et al. | 2000
- 663
-
A single complete refinement rule for ZDerrick, J et al. | 2000
- 677
-
Reasoning with contradictory information using quasi-classical logicHunter, A et al. | 2000
- 705
-
Non-cumulative reasoning: rules and modelsEngelfriet, J et al. | 2000
- 721
-
Postponement, conservation and preservation of strong normalization for generalized reductionKamareddine, F et al. | 2000
- 739
-
Book review. Intelligence Through Simulated Evolution: Forty Years of Evolutionary Programming. LJ FogelOverill, R et al. | 2000
- 743
-
Reflection principles in computational logicBarklund, J / Dell'Acqua, P / Costantini, S / Lanzarone, GA et al. | 2000
- 787
-
A dynamic logic for acting, sensing, and planningSpalazzi, L / Traverso, P et al. | 2000
- 823
-
Similarity relations in concept latticesBelohlavek, R et al. | 2000
- 847
-
A logical reconstruction of temporal databasesFinger, M et al. | 2000
- 877
-
A mixed decision method for duration calculusChetcuti-Serandio, N / del Cerro, L Farinas et al. | 2000
- 901
-
Acknowledgements| 2000
- 903
-
Author Index| 2000