[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science
Latest Publications

TOTAL DOCUMENTS

47

(FIVE YEARS 0)

H-INDEX

16

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818620730

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A decision procedure for a class of set constraints

[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1990.113732 ◽

2002 ◽

Author(s):

N. Heintze ◽

J. Jaffar

Keyword(s):

Decision Procedure ◽

Set Constraints

Download Full-text

Proof transformations for equational theories

[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1990.113754 ◽

2002 ◽

Author(s):

T. Nipkow

Keyword(s):

Equational Theories

Download Full-text

Universal domains in the theory of denotational semantics of programming languages

[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1990.113730 ◽

2002 ◽

Author(s):

M. Droste ◽

R. Gobel

Keyword(s):

Programming Languages ◽

Denotational Semantics ◽

Semantics Of Programming Languages

Download Full-text

A categorical linear framework for Petri nets

[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1990.113747 ◽

2002 ◽

Author(s):

C. Brown ◽

D. Gurr

Keyword(s):

Linear Framework

Download Full-text

Explicit clock temporal logic

[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1990.113765 ◽

2002 ◽

Author(s):

E. Harel ◽

O. Lichtenstein ◽

A. Pnueli

Keyword(s):

Download Full-text

Type reconstruction in finite-rank fragments of the polymorphic lambda -calculus

[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1990.113728 ◽

2002 ◽

Author(s):

A.J. Kfoury ◽

J. Tiuryn

Keyword(s):

Finite Rank ◽

Lambda Calculus ◽

Type Reconstruction

Download Full-text

Effective domains and intrinsic structure

[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1990.113762 ◽

2002 ◽

Author(s):

W. Phoa

Keyword(s):

Intrinsic Structure

Download Full-text

Completeness for typed lazy inequalities

[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1990.113757 ◽

2002 ◽

Author(s):

S.S. Cosmadakis ◽

A.R. Meyer ◽

J.G. Riecke

Download Full-text

The classification of continuous domains

[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1990.113731 ◽

2002 ◽

Author(s):

A. Jung

Keyword(s):

Continuous Domains

Download Full-text

Well rewrite orderings

[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1990.113751 ◽

2002 ◽

Author(s):

P. Lescanne

Download Full-text