QR Code

Temporal logic of programs /

Saved in:

Bibliographic Details
Main Author:	Kröger, Fred
Format:	Book
Language:	English
Published:	Berlin : Springer, 1987
Series:	EATCS monographs on theoretical computer science Vol. 8
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The temporal logic of reactive and concurrent systems. Specification /
by: Manna, Zohar
Published: (1992)

Verifying concurrent processes using temporal logic /
by: Hailpern, Brent T.
Published: (1982)

COMBINING LINEAR TIME TEMPORAL LOGIC DESCRIPTIONS OF CONCURRENT COMPUTATIONS /
by: Kuiper, Ruurd
Published: (1989)

Specifying message passing and time-critical systems with temporal logic /
by: Koymans, Ronald Leo Christiaan
Published: (1989)

Temporal Bone Cancer
Published: (2018)

THE LOGIC OF PROGRAMMING /
by: Hehner, Eric C. R.
Published: (1984)

FROM LOGIC DESIGN TO LOGIC PROGRAMMING /
by: Snyers, Dominique
Published: (1987)

An Africana Philosophy of Temporality Homo Liminalis /
by: Sawyer, Michael E.
Published: (2018)

MICROPROCESSORS AND PROGRAMMED LOGIC /
by: Short, Kenneth L.
Published: (1987)

ALGEBRAIC AND LOGIC PROGRAMMING /
by: Bergstra, J. A.
Published: (1988)

FOUNDATIONS OF LOGIC PROGRAMMING /
by: Lloyd, John Wylie
Published: (1984)

Migration, Temporality, and Capitalism Entangled Mobilities across Global Spaces /
Published: (2018)

Temporal order : Proceedings of a symp. on oscillations in heterogeneous chemical and biological systems, Bremen, Sept. 17 - 22, 1984 /
by: Rensing, Ludger
Published: (1985)

Logic of programs : workshop, ETH Zürich, May-July 1979 /
by: Kozen, Dexter
Published: (1981)

MICRO-PROLOG. PROGRAMMING IN LOGIC /
by: Clark, Keith L.
Published: (1984)

Deductive databases and logic programming /
by: Das, Subrata Kumar
Published: (1992)

Mathematical logic and programming languages /
by: Kowalski, R.
Published: (1985)

Studies in automatic programming logic /
by: Manna, Zohar
Published: (1977)

Programming of small logic controllers /
by: Fedor, Pavol 1932-
Published: (2001)

6800 programming for logic design /
by: Osborne, Adam
Published: (1977)

TEMPORAL DISORDER IN HUMAN OSCILLATORY SYSTEMS : Proceedings, Univ. Bremen, 1986 /
by: Rensing, Ludger
Published: (1987)

Extensions of logic programming : Proceedings, Tübingen, FRG, Dec. 8 - 10, 1989 /
by: Andreoli, Jean-Marc
Published: (1991)

Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
by: Pierro, Alessandra Di
Published: (1996)

LOGIC PROGRAMMING 87 : PROCEEDINGS OF THE 6TH CONFERENCE, Tokyo, Japan, June 22-24, 1987 /
by: Jaffer, Joxan
Published: (1988)

Prolog versus you. An introduction to logic programming /
by: Johansson, Anna-Lena
Published: (1989)

Logic program synthesis and transformation : Proceedings, Utrecht, The Netherlands, Sept. 20 - 22, 1995 /
by: Leuschel, Michael
Published: (1996)

Temporal coherence properties of picosecond pulses from semiconductor lasers /
by: Andersson, Per
Published: (1985)

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

Cohesion, Coherence and Temporal Reference from an Experimental Corpus Pragmatics Perspective
by: Grisot, Cristina
Published: (2018)

Logical Form Between Logic and Natural Language /
by: Iacona, Andrea
Published: (2018)

THE LOGIC OF INDUCTION /
by: Mortimer, Halina
Published: (1988)

MATRIX LOGIC /
by: Stern, August
Published: (1988)

Absolute logics /
by: Akkanen, Jyrki
Published: (1995)

Mathematical logic /
by: Demlová, Marie
Published: (1999)

Logic and structure /
by: Dalen, Dirk van
Published: (1983)

Mathematical logic /
by: Flum, Jörg, et al.
Published: (1984)

Computer-assisted cartography for monitoring spatio-temporal aspects of urban air pollution /
by: Koussoulakou, Alexandra
Published: (1990)

3rd international conference on logic programming : Proceedings, London, U. K., July 14 - 18, 1986 /
by: Fuchi, Kazuhiro
Published: (1986)

Reasoning with fuzzy logic /
by: Hellendoorn, Johannes
Published: (1990)

The logic of chemical synthesis /
by: Corey, E. J.
Published: (1989)