ENGLISH

Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings

By Dov M. Gabbay , Hans Jürgen Ohlbach (eds.) , Morten Ulrik Sørensen , Odd Erik Hansen , Hans Henrik Løvengreen (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1994
ISBN
354058241X, 9783540582410
DOI
10.1007/BFb0013976
LCC
QA76.6 .T4414 1994
Open Library ID
OL1079991M
Language
english
Format
DJVU
Filesize
5 MB (5241554 bytes)
Series
Lecture Notes in Computer Science 827 : Lecture Notes in Artificial Intelligence
Edition
1
Pages
551\558
Library
Kolxo3
DPI
300
Time added
2011-01-06 10:13:16
Artificial Intelligence (incl. Robotics); Mathemat

Description

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.

Similar books