[1993] Proceedings Eighth 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

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 ◽

Cited By ~ 6

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 ◽

Cited By ~ 2

Author(s):

P. Beame ◽

T. Pitassi

Keyword(s):

Pigeonhole Principle ◽

Exponential Separation

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 ◽

Cited By ~ 5

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 ◽

Cited By ~ 9

Author(s):

M. Falaschi ◽

M. Gabbrielli ◽

K. Marriott ◽

C. Palamidessi

Keyword(s):

Constraint Programming ◽

Compositional Analysis ◽

Concurrent Constraint Programming

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 ◽

Cited By ~ 36

Author(s):

M. Pentus

Keyword(s):

Context Free

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 ◽

Cited By ~ 12

Author(s):

A. Bouajjani ◽

R. Echahed ◽

J. Sifakis

Keyword(s):

Model Checking ◽

Real Time

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 ◽

Cited By ~ 5

Author(s):

M.P. Fiore

Keyword(s):

Data Types ◽

Recursive Data

Download Full-text

Strong normalization for second order classical natural deduction

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

10.1109/lics.1993.287602 ◽

2002 ◽

Cited By ~ 32

Author(s):

M. Parigot

Keyword(s):

Natural Deduction ◽

Second Order ◽

Strong Normalization

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 ◽

Cited By ~ 9

Author(s):

V. Danos ◽

L. Regnier

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc. Press

Imperfect information flow

An exponential separation between the matching principle and the pigeonhole principle

Relational properties of recursively defined domains

Adequacy for untyped translations of typed lambda -calculi

Compositional analysis for concurrent constraint programming

Lambek grammars are context free

On model checking for real-time properties with durations

A coinduction principle for recursive data types based on bisimulation

Strong normalization for second order classical natural deduction

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

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