Temporal Logic of Programs
Latest Publications

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642715518, 9783642715495

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Temporal Semantics of Programs

Temporal Logic of Programs ◽

10.1007/978-3-642-71549-5_5 ◽

1987 ◽

pp. 55-77 ◽

Cited By ~ 7

Author(s):

Fred Kröger

Keyword(s):

Temporal Semantics

Download Full-text

First-Order Temporal Logic

Temporal Logic of Programs ◽

10.1007/978-3-642-71549-5_4 ◽

1987 ◽

pp. 43-53

Author(s):

Fred Kröger

Keyword(s):

Temporal Logic ◽

First Order

Download Full-text

Eventuality Properties of Programs

Temporal Logic of Programs ◽

10.1007/978-3-642-71549-5_7 ◽

1987 ◽

pp. 103-120

Author(s):

Fred Kröger

Download Full-text

Invariance and Precedence Properties of Programs

Temporal Logic of Programs ◽

10.1007/978-3-642-71549-5_6 ◽

1987 ◽

pp. 79-101

Author(s):

Fred Kröger

Download Full-text

Special Methods for Sequential Programs

Temporal Logic of Programs ◽

10.1007/978-3-642-71549-5_8 ◽

1987 ◽

pp. 121-132

Author(s):

Fred Kröger

Keyword(s):

Sequential Programs

Download Full-text

Axiomatization of Propositional Temporal Logic

Temporal Logic of Programs ◽

10.1007/978-3-642-71549-5_3 ◽

1987 ◽

pp. 25-41

Author(s):

Fred Kröger

Keyword(s):

Temporal Logic

Download Full-text

Propositional Temporal Logic

Temporal Logic of Programs ◽

10.1007/978-3-642-71549-5_2 ◽

1987 ◽

pp. 9-23

Author(s):

Fred Kröger

Keyword(s):

Temporal Logic

Download Full-text

Introduction

Temporal Logic of Programs ◽

10.1007/978-3-642-71549-5_1 ◽

1987 ◽

pp. 1-8

Author(s):

Fred Kröger

Download Full-text