Cover Image

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11 - 14 ; proceedings /

Bibliographic Details
Corporate Authors:	SpringerLink (Online service), ICTL, International Conference on Temporal Logic
Other Authors:	Gabbay, Dov M.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin [u.a.] : Springer, 1994.
Series:	Lecture notes in computer science ; Lecture notes in artificial intelligence 827
Subjects:	Computer programming Logic, Symbolic and mathematical Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings /
Published: (1994)

Temporal logic : mathematical foundations and computational aspects /
by: Gabbay, Dov M., 1945-
Published: (1994)

Temporal logic of programs /
by: Kröger, Fred, 1945-
Published: (1987)

Temporal logics and their applications /
Published: (1987)

Executing temporal logic programs /
by: Moszkowski, B. C.
Published: (1986)

Logic programming /
Published: (1982)

The logic of programming /
by: Hehner, Eric C. R.
Published: (1984)

Introduction to logic programming /
by: Hogger, Christopher John
Published: (1984)

Principles of logic and logic programming /
by: Metakides, George, 1945-
Published: (1996)

Meta-logics and logic programming /
Published: (1995)

The logical basis for computer programming /
by: Manna, Zohar
Published: (1985)

Logic for applications /
by: Nerode, Anil, 1932-
Published: (1993)

Logics of programs : Brooklyn, June 17-19, 1985 : proceedings /
Published: (1985)

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings /
Published: (1989)

Logic and structured design for computer programmers /
by: Rood, Harold J.
Published: (2001)

Principles of logic and logic programming /
by: Metakides, George, 1945-
Published: (1996)

Logic programming, functions, relations, and equations /
by: DeGroot, Doug
Published: (1986)

Logical frameworks /
Published: (1991)

Journal of logic and computation.
Published: (1990)

Journal of logic and computation.

Handbook of logic in artificial intelligence and logic programming /
Published: (1993)

Logic of domains /
by: Zhang, Guo-Qiang, 1960-
Published: (1991)

Temporal logics /
by: Goranko, Valentin
Published: (2023)

Temporal logic /
by: Rescher, Nicholas
Published: (1971)

Foundations of logic programming /
by: Lloyd, J. W. (John Wylie), 1947-
Published: (1984)

Logics of specification languages /
Published: (2008)

Discrete structures, logic, and computability /
by: Hein, James L.
Published: (2017)

Program logics for certified compilers /
by: Appel, Andrew W., 1960-
Published: (2014)

Solving higher-order equations : from logic to programming /
by: Prehofer, Christian, 1967-
Published: (1998)

The logic of partial information /
by: Nait Abdallah, Areski, 1950-
Published: (1995)

A programming logic : with an introduction to the PL/CV verifier /
by: Constable, R. L. (Robert L.)
Published: (1978)

Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /
Published: (1999)

Substructural logics /
Published: (1993)

Proceedings, 1987 Symposium on Logic Programming : August 31-September 4, 1987, Hyatt on Union Square San Francisco, California /
Published: (1987)

A resolution principle for a logic with restricted quantifiers /
by: Bürckert, H.-J. (Hans-Jürgen)
Published: (1991)

Logic and algebra of specification /
Published: (1993)

An introduction to the PL/CV2 programming logic /
by: Constable, R. L. (Robert L.)
Published: (1982)

From logic to computing /
by: McArthur, Robert P., 1944-
Published: (1991)

Logic-based artificial intelligence /
Published: (2000)

Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /
Published: (1988)