Proceedings 17th Annual IEEE Symposium on Logic in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0769514839

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Little engines of proof

Proceedings 17th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2002.1029812 ◽

2003 ◽

Cited By ~ 3

Author(s):

N. Shankar

Download Full-text

A fully abstract may testing semantics for concurrent objects

Proceedings 17th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2002.1029820 ◽

2003 ◽

Cited By ~ 11

Author(s):

A. Jeffrey ◽

J. Rathke

Keyword(s):

Concurrent Objects ◽

Testing Semantics

Download Full-text

Temporal logic with forgettable past

Proceedings 17th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2002.1029846 ◽

2003 ◽

Cited By ~ 36

Author(s):

F. Laroussinie ◽

N. Markey ◽

P. Schnoebelen

Keyword(s):

Temporal Logic

Download Full-text

Decidable and undecidable fragments of first-order branching temporal logics

Proceedings 17th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2002.1029847 ◽

2003 ◽

Cited By ~ 17

Author(s):

I. Hodkinson ◽

F. Wolter ◽

M. Zakharyaschev

Keyword(s):

Temporal Logics ◽

First Order

Download Full-text

Computational adequacy for recursive types in models of intuitionistic set theory

Proceedings 17th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2002.1029837 ◽

2003 ◽

Cited By ~ 1

Author(s):

A. Simpson

Keyword(s):

Set Theory ◽

Intuitionistic Set Theory

Download Full-text

Monadic queries over tree-structured data

Proceedings 17th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2002.1029828 ◽

2003 ◽

Cited By ~ 23

Author(s):

G. Gottlob ◽

C. Koch

Keyword(s):

Structured Data

Download Full-text

Automatic decidability

Proceedings 17th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2002.1029813 ◽

2003 ◽

Cited By ~ 7

Author(s):

C. Lynch ◽

B. Morawska

Download Full-text

Description logics: foundations for class-based knowledge representation

Proceedings 17th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2002.1029843 ◽

2003 ◽

Cited By ~ 5

Author(s):

D. Calvanese ◽

G. De Giacomo ◽

M. Lenzerini

Keyword(s):

Knowledge Representation ◽

Description Logics

Download Full-text

Probabilistic abstraction for model checking: an approach based on property testing

Proceedings 17th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2002.1029815 ◽

2003 ◽

Cited By ~ 1

Author(s):

S. Laplante ◽

R. Lassaigne ◽

F. Magniez ◽

S. Peyronnet ◽

M. de Rougemont

Keyword(s):

Model Checking ◽

Property Testing

Download Full-text

A stratified semantics of general references embeddable in higher-order logic

Proceedings 17th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2002.1029818 ◽

2003 ◽

Cited By ~ 10

Author(s):

A.J. Ahmed ◽

A.W. Appel ◽

R. Virga

Keyword(s):

Higher Order ◽

Order Logic ◽

Higher Order Logic

Download Full-text

Proceedings 17th Annual IEEE Symposium on Logic in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

Little engines of proof

A fully abstract may testing semantics for concurrent objects

Temporal logic with forgettable past

Decidable and undecidable fragments of first-order branching temporal logics

Computational adequacy for recursive types in models of intuitionistic set theory

Monadic queries over tree-structured data

Automatic decidability

Description logics: foundations for class-based knowledge representation

Probabilistic abstraction for model checking: an approach based on property testing

A stratified semantics of general references embeddable in higher-order logic

Proceedings 17th Annual IEEE Symposium on Logic in Computer Science
Latest Publications