liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Time and Logic : A Computational Approach
1995 (English)Collection (editor) (Other academic)
Abstract [en]

Time and logic are central driving concepts in science and technology. In this book, some of the major current developments in our understanding and application of temporal logic are presented in computational terms. "Time and Logic: A Computational Approach" should be a useful sourcebook for those within the specific field of temporal logic, as well as providing valuable introductory material for those seeking an entry into this increasingly important area of theoretical computing.; The emphasis of the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalize beyond temporal logic alone, and it is hoped that adaptation to many different logics of programmes will be facilitated. Throughout, the authors have kept implementation-oriented solutions in mind.; The book begins with an introduction to the basic ideas of temporal logic. Successive chapters then examine particular aspects of the temporal theoretical computing domain, relating their applications to familiar areas of research, such as stochastic process theory, automata theory, established proof systems, model checking, relational logic and classical predicate logic. This should be a useful addition to the library of all theoretical computer scientists, providing a synthesis of well established results in temporal logic with the most up-to-date findings of some of the world's leading theoreticians.

Place, publisher, year, pages
London: CRC Press, 1995. 325 p.
National Category
Engineering and Technology
Identifiers
urn:nbn:se:liu:diva-74985 (URN)1-85728-233-7 (ISBN)978-18-5728-233-7 (ISBN)oai:DiVA.org:liu-74985 (OAI)diva2:499778 (DiVA)
Available from2012-02-13 Created:2012-02-13 Last updated:2012-02-21Bibliographically approved

Open Access in DiVA

No full text

Other links

Find book at a Swedish library/Hitta boken i ett svenskt bibliotekFind book in another country/Hitta boken i ett annat land

Search in DiVA

By author/editor
Bolc, LeonardSzalas, Andrzej
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 55 hits
ReferencesLink to record
Permanent link

Direct link