Cover Image

Temporal logics and their applications /

Bibliographic Details
Other Authors:	Galton, A. P.
Format:	Book
Language:	English
Published:	London : Academic, [1987]
Subjects:	Computer programming. Logic, Symbolic and mathematical.

Similar Items

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)

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

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

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

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

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

Logic programming /
Published: (1982)

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

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

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

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

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)

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

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

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

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

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

Journal of logic and computation.

Journal of logic and computation.
Published: (1990)

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

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)

Substructural logics /
Published: (1993)

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)

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

Logic-based artificial intelligence /
Published: (2000)

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

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

Equational logic as a programming language /
by: O'Donnell, Michael J., 1952-
Published: (1985)

Handbook of logic in computer science /
Published: (1992)