Lecture Notes in Computer Science - Temporal Logic
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer-Verlag

354058241x
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Annotation-based deduction in temporal logic

2005 ◽  
pp. 430-444
Author(s):  
Hugh McGuire ◽  
Zohar Manna ◽  
Richard Waldinger
Keyword(s):  
Temporal Logic

A graph-based approach to resolution in temporal logic

2005 ◽  
pp. 415-429 ◽  
Author(s):  
Clare Dixon ◽  
Michael Fisher ◽  
Howard Barringer
Keyword(s):  
Temporal Logic

How linear can branching-time be?

2005 ◽  
pp. 180-194 ◽  
Author(s):  
Orna Grumberg ◽  
Robert P. Kurshan
Keyword(s):  
Branching Time

A hierarchy of partial order temporal properties

2005 ◽  
pp. 398-414 ◽  
Author(s):  
Marta Kwiatkowska ◽  
Doron Peled ◽  
Wojciech Penczek
Keyword(s):  
Partial Order ◽  
Temporal Properties

A system for automated deduction in graphical interval logic

2005 ◽  
pp. 540-542
Author(s):  
P. M. Melliar-Smith ◽  
L. E. Moser ◽  
Y. S. Ramakrishna ◽  
G. Kutty ◽  
L. K. Dillon
Keyword(s):  
Automated Deduction ◽  
Interval Logic

First-order future interval logic

2005 ◽  
pp. 195-209
Author(s):  
G. Kutty ◽  
L. E. Moser ◽  
P. M. Melliar-Smith ◽  
L. K. Dillon ◽  
Y. S. Ramakrishna
Keyword(s):  
First Order ◽  
Interval Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document