Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008455698/catalog> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- catalog abstract ""Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to the modern man. This volume collects together a number of articles from leading researchers in the area and presents state-of-the-art results across a number of sub-areas, in particular, pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language and temporal theorem proving. Any student of the area, be they postgraduate, post-doctoral, or even research professor, will find this volume a valuable tome. Likewise, computing professionals requiring state-of-the-art knowledge across this area will find it also a handy volume, giving leading results and linking to other relevant literature."--Jacket.".
- catalog contributor b11784054.
- catalog created "c2000.".
- catalog date "2000".
- catalog date "c2000.".
- catalog dateCopyrighted "c2000.".
- catalog description ""Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to the modern man. This volume collects together a number of articles from leading researchers in the area and presents state-of-the-art results across a number of sub-areas, in particular, pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language and temporal theorem proving. Any student of the area, be they postgraduate, post-doctoral, or even research professor, will find this volume a valuable tome.".
- catalog description "A Hierarchy of Modal Event Calculi: Expressiveness and Complexity / Iliano Cervesato, Massimo Franceschet and Angelo Montanari -- Release Logics for Temporalizing Dynamic Logic / Jeroen Krabbendam and John-Jules Meyer -- Compositional Verification of Timed Statecharts / Francesca Levi -- Temporal Logic for Stabilizing Systems / Yassine Lakhnech and Michael Siegel -- Decidable Theories of [omega]-Layered Metric Temporal Structures / Angelo Montanari, Adriano Peron and Alberto Policriti -- Synthesis with Incomplete Informatio / Orna Kupferman and Moshe Vardi -- Deductive Verification of Parameterized Fault-Tolerant Systems: A Case Study / Nikolaj S. Bjorner, Uri Lerner and Zohar Manna -- Using Otter for Temporal Resolution / Clare Dixon.".
- catalog description "Includes bibliographical references.".
- catalog description "Likewise, computing professionals requiring state-of-the-art knowledge across this area will find it also a handy volume, giving leading results and linking to other relevant literature."--Jacket.".
- catalog extent "ix, 453 p. :".
- catalog identifier "0792361490 (acid-free paper)".
- catalog isPartOf "Applied logic series ; v. 16".
- catalog issued "2000".
- catalog issued "c2000.".
- catalog language "eng".
- catalog publisher "Dordrecht ; Boston : Kluwer Academic Publishers,".
- catalog subject "005.1/01/5113 21".
- catalog subject "Computer logic Congresses.".
- catalog subject "QA76.9.L63 A38 2000".
- catalog subject "Temporal databases Congresses.".
- catalog tableOfContents "A Hierarchy of Modal Event Calculi: Expressiveness and Complexity / Iliano Cervesato, Massimo Franceschet and Angelo Montanari -- Release Logics for Temporalizing Dynamic Logic / Jeroen Krabbendam and John-Jules Meyer -- Compositional Verification of Timed Statecharts / Francesca Levi -- Temporal Logic for Stabilizing Systems / Yassine Lakhnech and Michael Siegel -- Decidable Theories of [omega]-Layered Metric Temporal Structures / Angelo Montanari, Adriano Peron and Alberto Policriti -- Synthesis with Incomplete Informatio / Orna Kupferman and Moshe Vardi -- Deductive Verification of Parameterized Fault-Tolerant Systems: A Case Study / Nikolaj S. Bjorner, Uri Lerner and Zohar Manna -- Using Otter for Temporal Resolution / Clare Dixon.".
- catalog title "Advances in temporal logic / edited by Howard Barringer ... [et al.].".
- catalog type "Conference proceedings. fast".
- catalog type "text".