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

TOTAL DOCUMENTS

51

(FIVE YEARS 0)

H-INDEX

14

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818674636

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Relating word and tree automata

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

10.1109/lics.1996.561360 ◽

2002 ◽

Author(s):

O. Kupferman ◽

S. Safra ◽

M.Y. Vardi

Keyword(s):

Download Full-text

Simultaneous rigid E-unification and related algorithmic problems

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

10.1109/lics.1996.561466 ◽

2002 ◽

Author(s):

A. Degtyarev ◽

Y. Matiyasevich ◽

A. Voronkov

Keyword(s):

Algorithmic Problems

Download Full-text

Symbolic protocol verification with queue BDDs

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

10.1109/lics.1996.561318 ◽

2002 ◽

Author(s):

P. Godefroid ◽

D.E. Long

Keyword(s):

Protocol Verification

Download Full-text

Tarskian set constraints

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

10.1109/lics.1996.561313 ◽

2002 ◽

Author(s):

D.A. McAllester ◽

R. Givan ◽

C. Witty ◽

D. Kozen

Keyword(s):

Set Constraints

Download Full-text

Complexity analysis based on ordered resolution

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

10.1109/lics.1996.561462 ◽

2002 ◽

Author(s):

D. Basin ◽

H. Ganzinger

Keyword(s):

Complexity Analysis

Download Full-text

Subtyping dependent types

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

10.1109/lics.1996.561307 ◽

2002 ◽

Author(s):

D. Aspinall ◽

A. Compagnoni

Keyword(s):

Dependent Types

Download Full-text

Games and full abstraction for FPC

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

10.1109/lics.1996.561316 ◽

2002 ◽

Author(s):

G. McCusker

Keyword(s):

Full Abstraction

Download Full-text

A generalization of Fagin's theorem

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

10.1109/lics.1996.561298 ◽

2002 ◽

Author(s):

J.A. Medina ◽

N. Immerman

Download Full-text

Model-checking of correctness conditions for concurrent objects

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

10.1109/lics.1996.561322 ◽

2002 ◽

Author(s):

R. Alur ◽

K. McMillan ◽

D. Peled

Keyword(s):

Model Checking ◽

Concurrent Objects

Download Full-text

Reactive modules

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

10.1109/lics.1996.561320 ◽

2002 ◽

Author(s):

R. Alur ◽

T.A. Henzinger

Download Full-text