Home  - Science - Temporal Logic

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

61-64 of 64    Back | 1  | 2  | 3  | 4

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Temporal Logic:     more books (100)

Automatic and hierarchical verification of asynchronous circuits using temporal logic by B Mishra, 1983 Temporal-logic theorem proving (Report / Stanford University. Dept. of Computer Science) by Martín Abadi, 1987 Decision procedures and expressiveness in the temporal logic of branching time (Technical report. University of Texas at Austin. Dept. of Computer Sciences) by E. Allen Emerson, 1985 Characterizing Kripke structures in temporal logic (Research paper. Carnegie-Mellon University. Computer Science Department) by M. C Browne, 1987 Compiling temporal logic specifications into observers =: Compiler des spécifications exprimées en logique temporelle vers des observateurs (Rapports ... Recherche en Informatique et en Automatique) by Omar Drissi-Kaitouni, 1988 Design verification of sequential machines based on a model checking algorithm of e-free regular temporal logic (Research paper. Carnegie Mellon University. Computer Science Dept) by Hiromi Hiraishi, 1988 Problems concerning fairness and temporal logic for conflict-free petri nets (Technical report. University of Texas at Austin. Dept. of Computer Sciences) by Rodney R Howell, 1987 On the eventuality operator in temporal logic (Technical report. Yale University. Dept. of Computer Science) by Aravinda Prasad Sistla, 1987 Gorski: Temporal Logic Avoiding the state explosion problem in temporal logic model checking algorithms (Research paper. Carnegie Mellon University. Computer Science Dept) by E. M Clarke, 1987 Temporal logics, automata, and classical theories for defining real-time languages (Report) by T. A Henzinger, 1999 Temporal logics for abstract semantics (Technical report series. University of Manchester. Dept. of Computer Science) by Michael Fisher, 1987 Temporal logic for proof-carrying code ([Research paper] / Carnegie Mellon University. School of Computer Science) by Andrew Bernard, 2002 Synthesis of hardware elements from propositional temporal interval logic (Technical report. Pennsylvania State University. Dept. of Computer Science) by A. A Aaby, 1988

lists with details

61. Temporal Logic - Computing Reference - ELook.org
    Information and links on Temporal logic logic An extension of predicate calculus which includes notation for arguing about *when* statements are true.  
    http://www.elook.org/computing/temporal-logic.htm

62. Temporal Logic - Microsoft Academic Search
    in a (propositional, branchingtime) temporal logic. our algorithm has complexity linear  
    http://academic.research.microsoft.com/Search.aspx?query=temporal logic

63. Temporal Logic Time Statement Truth Value Verification Formal
    Temporal Logic Time Statement Truth Value Verification Formal Economy.  
    http://www.economicexpert.com/a/Temporal:logic.htm

64. Temporal Logic (Stanford Encyclopedia Of Philosophy/Spring 2007 Edition)
    First published Mon Nov 29, 1999; substantive revision Thu Dec 11, 2003  
    http://www.seop.leeds.ac.uk/archives/spr2007/entries/logic-temporal/
    
    Extractions: Spring 2007 Edition Cite this entry Search this Archive Advanced Search Table of Contents ... Stanford University This is a file in the archives of the Stanford Encyclopedia of Philosophy First published Mon Nov 29, 1999; substantive revision Thu Dec 11, 2003 The term Temporal Logic has been broadly used to cover all approaches to the representation of temporal information within a logical framework, and also more narrowly to refer specifically to the modal-logic type of approach introduced around 1960 by Arthur Prior under the name of Tense Logic and subsequently developed further by logicians and computer scientists. Applications of Temporal Logic include its use as a formalism for clarifying philosophical issues about time, as a framework within which to define the semantics of temporal expressions in natural language, as a language for encoding temporal knowledge in artificial intelligence, and as a tool for handling the temporal aspects of the execution of computer programs. 1.1 Tense Logic

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

61-64 of 64    Back | 1  | 2  | 3  | 4