Geometry.Net - the online learning center
Home  - Science - Temporal Logic
e99.com Bookstore
  
Images 
Newsgroups
Page 5     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)
  1. Verifying temporal properties without using temporal logic (Technical report. Cornell University. Dept. of Computer Science) by Bowen Lewis Alpern, 1985
  2. A temporal-logic based compositional proof system for real-time message passing (Technical report. Cornell University. Dept. of Computer Science) by Jozef Hooman, 1988
  3. 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
  4. Temporal logic programming is complete and expressive (Report / Stanford University. Computer Science Dept) by Marianne Baudinet, 1988
  5. A really temporal logic (Report / Stanford University. Computer Science Dept) by Rajeev Alur, 1989
  6. Alternating-time temporal logic (Memorandum) by Rajeev Alur, 1998
  7. Synchronization of multiagent plans using a temporal logic theorem prover (Technical note. SRI International) by Christopher Stuart, 1985
  8. Semantics for reified temporal logic (Research paper. University of Edinburgh. Department of Artificial Intelligence) by Han Reichgelt, 1986
  9. 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
  10. 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
  11. Temporal Logic: Logic, Modal Logic, Computer Science, Principle of Bivalence, Formal Verification, Linear Temporal Logic, Computation Tree Logic, Model Checking, Logical Connective
  12. Temporal Logic by Dov M. Gabbay, 2000
  13. 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
  14. 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

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
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
Prior, Arthur
13 sitios web en 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
Free Teacher Resources Teacher Supplies Gift Certificates Education Directory ... Edit this page
Temporal logic
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".
All text is available under the terms of the GNU Free Documentation License
TeachersParadise.com HOME Safe Shopping Guarantee Help Desk ... Legal Notice

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  

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

free hit counter