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

81-83 of 83    Back | 1  | 2  | 3  | 4  | 5

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)

Verifying temporal properties without using temporal logic (Technical report. Cornell University. Dept. of Computer Science) by Bowen Lewis Alpern, 1985 A temporal-logic based compositional proof system for real-time message passing (Technical report. Cornell University. Dept. of Computer Science) by Jozef Hooman, 1988 The treatment of macro expansions in the temporal logic of parallel programs (Technical report. Technische Universität München. Institut für Informatik) by A Kausche, 1985 Temporal logic programming is complete and expressive (Report / Stanford University. Computer Science Dept) by Marianne Baudinet, 1988 A really temporal logic (Report / Stanford University. Computer Science Dept) by Rajeev Alur, 1989 Alternating-time temporal logic (Memorandum) by Rajeev Alur, 1998 Synchronization of multiagent plans using a temporal logic theorem prover (Technical note. SRI International) by Christopher Stuart, 1985 Semantics for reified temporal logic (Research paper. University of Edinburgh. Department of Artificial Intelligence) by Han Reichgelt, 1986 An improved algorithm for the automatic verification of finite state systems using temporal logic (Research report. Carnegie-Mellon University. Dept. of Computer Science) by Michael C Browne, 1986 Temporal logic specification and verification of a virtual ring LAN access protocol ([Report] / Université P. et M. Curie, Laboratoire Informatique Théorique et Programmation) by Ana R Cavalli, 1985 Temporal Logic: Logic, Modal Logic, Computer Science, Principle of Bivalence, Formal Verification, Linear Temporal Logic, Computation Tree Logic, Model Checking, Logical Connective Temporal Logic by Dov M. Gabbay, 2000 On the expressive power of temporal logic ([Report]. Universite P. et M. Curie. Institut de Programmation. Laboratoire Informatique Theorique et Programmation) by D Perrin, 1986 A study of an extended temporal logic and a temporal fixed point calculus (Technical report series. University of Manchester. Dept. of Computer Science) by B Banieqbal, 1986

lists with details

81. Science - Math - Logic And Foundations - Nonstandard Logics And Extensions - Tem
    EXCITE MAIL MIX LOMÁS RUTAS QUÉMOVIDA MOTOR BOOKMARKS EXCITE AZ. all channels, Búsqueda, Bookmarks, Directorio, Horoscopo, Hoy, Info, Juegos  
    http://www.excite.es/directory/Science/Math/Logic_and_Foundations/Nonstandard_Lo
    
    Extractions: EXCITE MAIL MIX RUTAS ... EXCITE A-Z all channels Bookmarks Directorio Horoscopo Hoy Info Juegos MIX Motor Motor Postales Rutas Sitemap Tiempo Traducir Viajes Web Web Noticias Noticias Directorio en toda la Red powered by Ask.com et("sr1","1"); Directorio Science Math Logic and Foundations ... Nonstandard Logics and Extensions Temporal Logic Efficient Symbolic Tools Guarder A BDD based tool for the formal verification of concurrent systems using a propositional branching-time temporal logic: action computation tree logic (ACTL). It runs under different OS, including Linux and Windows 95/98/NT. http://lms.uni-mb.si/EST/ Ground Temporal Logic: A Logic for Hardware Verification Guarder A temporal logic designed to specify properties of hardware at the register transfer level. http://www.csl.sri.com/reports/html/c... Interval Temporal Logic Guarder A flexible notation for both propositional and first-order reasoning about periods of time found in descriptions of hardware and software systems. Includes table of contents, abstracts and pdf downloads. http://link.springer.de/link/service/...

82. Temporal Logic
    Temporal logic. Temporal logic is any approach to the representation of temporal information within a logical framework. The term is also used more narrowly  
    http://www.teachersparadise.com/ency/en/wikipedia/t/te/temporal_logic.html
    
    Extractions: Free Teacher Resources Teacher Supplies Gift Certificates Education Directory ... Edit this page Temporal logic is any approach to the representation of temporal information within a logical framework. The term is also used more narrowly to refer to the modal logic approach introduced by Arthur Prior in the under the name "tense logic".

83. Dmoz : Science : Math : Logic And Foundations : Nonstandard Logics And Extension
    dmoz Science Math Logic and Foundations Nonstandard Logics and Extensions Temporal Logic.  
    http://www.weec.ovl.ru/dmoz/index.php?c=Science/Math/Logic_and_Foundations/Nonst

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

81-83 of 83    Back | 1  | 2  | 3  | 4  | 5