Temporal Logic First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings / edited by Dov M. Gabbay, Hans J. Ohlbach.
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 stag...
Full description
Saved in: