Geometry.Net - the online learning center
Home  - Science - Logic Temporal

e99.com Bookstore
  
Images 
Newsgroups
Page 6     101-102 of 102    Back | 1  | 2  | 3  | 4  | 5  | 6 
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  

         Logic Temporal:     more books (100)
  1. An introduction to the model theory of first-order predicate logic and a related temporal logic (Memorandum / Rand Corporation) by Robert Mattison, 1969
  2. Model checking is refinement: Relating Büchi testing and linear-time temporal logic (ICASE report) by Rance Cleaveland, 2000
  3. Transforming temporal logic specifications (Technical report. Technische Universität Müchen. Institut für Informatik) by H Schlingloff, 1986
  4. A temporal logic for proving real-time properties of distributed programs (Technical report. University of Arizona. Dept. of Computer Science) by Karen J Hay, 1988
  5. Towards a temporal logic for true concurrency (Arbeitspapiere der GMD) by Wolfgang Reisig, 1987
  6. 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
  7. Automatic verification of finite state machines using temporal logic (Research paper. Carnegie Mellon University. Computer Science Dept) by Michael C Browne, 1989
  8. Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 4: Epistemic and Temporal Reasoning (Handbook of Logic in Artificial Intelligence and Logic Programming) by Dov M. Gabbay, C. J. Hogger, et all 1995-06-15
  9. Automatic verification of finite state concurrent systems using temporal logic specifications (Technical report. University of Texas at Austin. Dept. of Computer Sciences) by Edmund Melson Clarke, 1985
  10. Equivalence of temporal interval logic and temporal logic (Technical report. Pennsylvania State University. Dept. of Computer Science) by A. A Aaby, 1986
  11. Verifying concurrent prcesses [sic] using temporal logic (Technical report) by Brent T Hailpern, 1980
  12. Proceedings of the Combined Tenth International Symposium on Temporal Representation and Reasoning and the Fourth International Conference on Temporal Logic: TIME-ICTL 2003 Cairns, Queensland, Australia, 8-10 July 2003 by Mark Reynolds, 2003
  13. Temporal Logic: Mathematical Foundations and Computational Aspects, Vol. 2 by Dov M. Gabbay, 2000
  14. Plans simulation using temporal logics (Rapports de recherche) by Eric Rutten, 1989

101. Ramanujam, R.
Institute of Mathematical Sciences, Chennai Theory of distributed systems, temporal logics, Partial order models of concurrency, Logics of knowledge.
http://www.imsc.ernet.in/~jam/

102. Stirling, Colin
University of Edinburgh Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties.
http://www.dcs.ed.ac.uk/~cps/

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 6     101-102 of 102    Back | 1  | 2  | 3  | 4  | 5  | 6 

free hit counter