Logics of Programs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

31

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540156482, 9783540395270

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Errata

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-15648-8_6 ◽

1985 ◽

pp. 78-78

Download Full-text

The glory of the past

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-15648-8_16 ◽

1985 ◽

pp. 196-218 ◽

Author(s):

Orna Lichtenstein ◽

Amir Pnueli ◽

Lenore Zuck

Keyword(s):

Download Full-text

Automata, tableaux, and temporal logics

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-15648-8_7 ◽

1985 ◽

pp. 79-88 ◽

Author(s):

E. Allen Emerson

Keyword(s):

Temporal Logics

Download Full-text

A FASE specification of FP

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-15648-8_12 ◽

1985 ◽

pp. 143-152

Author(s):

Sam Kamin

Download Full-text

Semantical analysis of specification logic

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-15648-8_28 ◽

1985 ◽

pp. 373-386 ◽

Author(s):

R. D. Tennent

Keyword(s):

Semantical Analysis ◽

Specification Logic

Download Full-text

Partial-correctness theories as first-order theories

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-15648-8_15 ◽

1985 ◽

pp. 190-195

Author(s):

Daniel Leviant

Keyword(s):

Partial Correctness ◽

Download Full-text

Fixpoints and program looping: Reductions from the Propositional mu-calculus into Propositional Dynamic Logics of Looping

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-15648-8_27 ◽

1985 ◽

pp. 359-372 ◽

Author(s):

Robert S. Streett

Keyword(s):

Download Full-text

Lambda calculus with constrained types

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-15648-8_3 ◽

1985 ◽

pp. 23-40 ◽

Author(s):

Val Breazu-Tannen ◽

Albert R. Meyer

Keyword(s):

Lambda Calculus

Download Full-text

On asymptotic probabilities of inductive queries and their decision problem

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-15648-8_13 ◽

1985 ◽

pp. 153-166 ◽

Author(s):

Phokion G. Kolaitis

Keyword(s):

Decision Problem

Download Full-text

Some constructions for order-theoretic models of concurrency

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-15648-8_22 ◽

1985 ◽

pp. 269-283 ◽

Author(s):

Vaughan Pratt

Keyword(s):

Models Of Concurrency

Download Full-text