HOME > Detail View

Detail View

Advances in temporal logic

Advances in temporal logic (Loan 1 times)

Material type
단행본
Personal Author
Barringer, Howard 1951-
Title Statement
Advances in temporal logic / edited by Howard Barringer ... [et al.].
Publication, Distribution, etc
Dordrecht ;   Boston :   Kluwer Academic Publishers ,   c2000.  
Physical Medium
ix, 453 p. : ill. ; 25 cm.
Series Statement
Applied logic series ; v. 16
ISBN
0792361490 (acid-free paper)
General Note
Selected papers from an international conference held in Manchester, UK, in 1997.  
Bibliography, Etc. Note
Includes bibliographical references.
Subject Added Entry-Topical Term
Computer logic -- Congresses. Temporal databases -- Congresses.
000 01035camuu22002894a 4500
001 000045310060
005 20061128131323
008 991202s2000 ne a b 100 0 eng
010 ▼a 99088586
020 ▼a 0792361490 (acid-free paper)
035 ▼a (KERIS)REF000005371773
040 ▼a DLC ▼c DLC ▼d DLC ▼d 211009
042 ▼a pcc
050 0 0 ▼a QA76.9.L63 ▼b A38 2000
082 0 0 ▼a 005.1/01/5113 ▼2 21
090 ▼a 005.1015113 ▼b A244
245 0 0 ▼a Advances in temporal logic / ▼c edited by Howard Barringer ... [et al.].
260 ▼a Dordrecht ; ▼a Boston : ▼b Kluwer Academic Publishers , ▼c c2000.
300 ▼a ix, 453 p. : ▼b ill. ; ▼c 25 cm.
440 0 ▼a Applied logic series ; ▼v v. 16
500 ▼a Selected papers from an international conference held in Manchester, UK, in 1997.
504 ▼a Includes bibliographical references.
650 0 ▼a Computer logic ▼v Congresses.
650 0 ▼a Temporal databases ▼v Congresses.
700 1 ▼a Barringer, Howard ▼d 1951-
945 ▼a KINS

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 005.1015113 A244 Accession No. 121134824 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

A Hierarchy of Modal Event Calculi: Expressiveness and Complexity; I. Cervesato, et al. Release Logics for Temporalizing Dynamic Logic; J. Krabbendam, J.-J. Meyer. Compositional Verification of Timed Statecharts; F. Levi. Temporal Logic for Stabilizing Systems; Y. Lakhnech, M. Siegel. Decidable Theories of omega-Layered Metric Temporal Structures; A. Montanari, et al. Synthesis with Incomplete Information; O. Kupferman, M. Vardi. Deductive Verification of Parameterized Fault-Tolerant Systems: A Case Study; N.S. Bjørner, et al. Using Otter for Temporal Resolution; C. Dixon. Guiding Clausal Temporal Resolution; M. Fisher, C. Dixon. Determinism and the Origins of Temporal Logic; T. Brauner, et al. Modelling Linguistic Events; M. Leith, J. Cunningham. A Dynamic Temporal Logic for Aspectual Phenomena in Natural Language; R. Naumann. A Decidable Temporal Logic for Temporal Propositions; I. Pratt, N. Francez. Transitions in Continuous Time, with an Application to Qualitative Changes in Spatial Relations; A. Galton. A Modal Logic of Durative Actions; I. Nunes, et al. About Real Time, Calendar Systems and Temporal Notions; H.J. Ohlbach. A Model Checking Algorithm for pi-Calculus Agents; S. Gnesi, G. Ristori. Interleaving Model and Verification of Distributed Probabilistic Real-Time Systems; T. Luo, et al. Constructive Interval Temporal Logic in Alf; S. Thompson. Two-dimensional Executable Temporal Logic for Bitemporal Databases; M. Finger, M. Reynolds. Execution and Proof in a Horn-Clause Temporal Logic; C. Dixon, et al. Specification and Prototyping of Structures Multimedia Documents using Interval Temporal Logic; H. Bowman, et al.


Information Provided By: : Aladin

New Arrivals Books in Related Fields

Anson, Steve (2022)
한국. 행정안전부 (2022)
한국. 행정안전부 (2022)
황기태 (2021)