[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science
Latest Publications

TOTAL DOCUMENTS

42

(FIVE YEARS 0)

H-INDEX

12

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818631406

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Imperfect information flow

[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1993.287582 ◽

2002 ◽

Author(s):

J. Barwise ◽

J. Seligman

Keyword(s):

Information Flow ◽

Imperfect Information

Download Full-text

An exponential separation between the matching principle and the pigeonhole principle

[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1993.287577 ◽

2002 ◽

Author(s):

P. Beame ◽

T. Pitassi

Keyword(s):

Pigeonhole Principle ◽

Exponential Separation

Download Full-text

Lambek grammars are context free

[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1993.287565 ◽

2002 ◽

Author(s):

M. Pentus

Keyword(s):

Download Full-text

Relational properties of recursively defined domains

[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1993.287597 ◽

2002 ◽

Author(s):

A.M. Pitts

Keyword(s):

Relational Properties

Download Full-text

Adequacy for untyped translations of typed lambda -calculi

[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1993.287579 ◽

2002 ◽

Author(s):

W. Phoa

Download Full-text

Compositional analysis for concurrent constraint programming

[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1993.287586 ◽

2002 ◽

Author(s):

M. Falaschi ◽

M. Gabbrielli ◽

K. Marriott ◽

C. Palamidessi

Keyword(s):

Constraint Programming ◽

Compositional Analysis ◽

Concurrent Constraint Programming

Download Full-text

On model checking for real-time properties with durations

[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1993.287592 ◽

2002 ◽

Author(s):

A. Bouajjani ◽

R. Echahed ◽

J. Sifakis

Keyword(s):

Model Checking ◽

Download Full-text

A coinduction principle for recursive data types based on bisimulation

[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1993.287595 ◽

2002 ◽

Author(s):

M.P. Fiore

Keyword(s):

Download Full-text

Local and asynchronous beta-reduction (an analysis of Girard's execution formula)

[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1993.287578 ◽

2002 ◽

Author(s):

V. Danos ◽

L. Regnier

Download Full-text

Typing and subtyping for mobile processes

[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1993.287570 ◽

2002 ◽

Author(s):

B. Pierce ◽

D. Sangiorgi

Keyword(s):

Mobile Processes

Download Full-text