This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers.
FREE Two-Day Shipping for students on millions of items. Learn more |
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
In recent years, a number of logics for specifying and verifying real-time systems have been proposed. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
Temporal Prolog, International Conference, Lecture Notes, New York, Springer Verlag, Academic Press, Duration Calculus, Principles of Database Systems, Principles of Programming Languages, Snow White, Assertions Goals, Department of Computing, Oxford University Press, Modal Prolog, Czechoslovakia Prague, Graphical Interval Logic, Morgan Kaufmann, Data Engineering, Eindhoven University of Technology, Slovakia Bratislava, Stanford University, Computer Society Press, International Workshop, Studia Logica, Handbook of Philosophical Logic New!
Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
In recent years, a number of logics for specifying and verifying real-time systems have been proposed. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
Temporal Prolog, International Conference, Lecture Notes, New York, Springer Verlag, Academic Press, Duration Calculus, Principles of Database Systems, Principles of Programming Languages, Snow White, Assertions Goals, Department of Computing, Oxford University Press, Modal Prolog, Czechoslovakia Prague, Graphical Interval Logic, Morgan Kaufmann, Data Engineering, Eindhoven University of Technology, Slovakia Bratislava, Stanford University, Computer Society Press, International Workshop, Studia Logica, Handbook of Philosophical Logic New!
Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 94
books:
See all 94 books this book cites
- Temporal Databases: Theory, Design, and Implementation by Abdullah Uz Tansel on 6 pages
- Modal Logic (Cambridge Tracts in Theoretical Computer Science) by Patrick Blackburn on page 132, page 148, and page 163
- Past, Present and Future by Arthur N. Prior on page 264, page 282, and page 348
- Foundations of Deductive Databases and Logic Programming by Jack Minker on page 80, page 528, and page 531
- Intensional Logics for Programming (Studies in Logic and Computation, 1) by Luis Fariï¿1/2as del Cerro on page 475, page 476, and page 478
See all 94 books this book cites
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Artificial Intelligence > Theory of Computing
- Books > Computers & Technology > Databases
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering
- Books > New & Used Textbooks > Computer Science > Artificial Intelligence
- Books > New & Used Textbooks > Computer Science > Database Storage & Design
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > New & Used Textbooks > Humanities > Philosophy > Logic
- Books > New & Used Textbooks > Science & Mathematics > Mathematics
- Books > Politics & Social Sciences > Philosophy
- Books > Science & Math > Mathematics
