[1990] Proceedings. Fifth 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

0818620730

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 6

Author(s):

M. Droste ◽

R. Gobel

Keyword(s):

Programming Languages ◽

Denotational Semantics ◽

Semantics Of Programming Languages

Download Full-text

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 ◽

Cited By ~ 32

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 ◽

Cited By ~ 9

Author(s):

T. Nipkow

Keyword(s):

Equational Theories

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 ◽

Cited By ~ 1

Author(s):

A.J. Kfoury ◽

J. Tiuryn

Keyword(s):

Finite Rank ◽

Lambda Calculus ◽

Type Reconstruction

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 ◽

Cited By ~ 13

Author(s):

C. Brown ◽

D. Gurr

Keyword(s):

Petri Nets ◽

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 ◽

Cited By ~ 54

Author(s):

E. Harel ◽

O. Lichtenstein ◽

A. Pnueli

Keyword(s):

Temporal Logic

Download Full-text

The nonexistence of finite axiomatisations for CCS congruences

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

10.1109/lics.1990.113741 ◽

2002 ◽

Cited By ~ 15

Author(s):

F. Moller

Download Full-text

A new AC unification algorithm with an algorithm for solving systems of diophantine equations

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

10.1109/lics.1990.113755 ◽

2002 ◽

Cited By ~ 14

Author(s):

A. Boudet ◽

E. Contejean ◽

H. Devie

Keyword(s):

Diophantine Equations ◽

Unification Algorithm

Download Full-text

Equation solving using modal transition systems

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

10.1109/lics.1990.113738 ◽

2002 ◽

Cited By ~ 65

Author(s):

K.G. Larsen ◽

L. Xinxin

Keyword(s):

Transition Systems ◽

Equation Solving ◽

Modal Transition Systems

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 ◽

Cited By ~ 13

Author(s):

W. Phoa

Keyword(s):

Intrinsic Structure

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc. Press

Universal domains in the theory of denotational semantics of programming languages

A decision procedure for a class of set constraints

Proof transformations for equational theories

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

A categorical linear framework for Petri nets

Explicit clock temporal logic

The nonexistence of finite axiomatisations for CCS congruences

A new AC unification algorithm with an algorithm for solving systems of diophantine equations

Equation solving using modal transition systems

Effective domains and intrinsic structure

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