Proceedings 11th 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. 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 ◽

Cited By ~ 10

Author(s):

O. Kupferman ◽

S. Safra ◽

M.Y. Vardi

Keyword(s):

Tree Automata

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 ◽

Cited By ~ 7

Author(s):

A. Degtyarev ◽

Y. Matiyasevich ◽

A. Voronkov

Keyword(s):

Algorithmic Problems

Download Full-text

Tarskian set constraints

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

10.1109/lics.1996.561313 ◽

2002 ◽

Cited By ~ 8

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 ◽

Cited By ~ 6

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 ◽

Cited By ~ 19

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 ◽

Cited By ~ 14

Author(s):

G. McCusker

Keyword(s):

Full Abstraction

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 ◽

Cited By ~ 8

Author(s):

P. Godefroid ◽

D.E. Long

Keyword(s):

Protocol Verification

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 ◽

Cited By ~ 18

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 ◽

Cited By ~ 77

Author(s):

R. Alur ◽

T.A. Henzinger

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc. Press

Relating word and tree automata

Simultaneous rigid E-unification and related algorithmic problems

Tarskian set constraints

Complexity analysis based on ordered resolution

Subtyping dependent types

Games and full abstraction for FPC

Symbolic protocol verification with queue BDDs

A generalization of Fagin's theorem

Model-checking of correctness conditions for concurrent objects

Reactive modules

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