[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0818619546

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A sufficient condition for the termination of the direct sum of term rewriting systems

[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science ◽

10.1109/lics.1989.39194 ◽

2003 ◽

Cited By ~ 24

Author(s):

A. Middeldorp

Keyword(s):

Term Rewriting ◽

Sufficient Condition ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Direct Sum

Download Full-text

RI: a logic for reasoning with inconsistency

[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science ◽

10.1109/lics.1989.39180 ◽

2003 ◽

Cited By ~ 25

Author(s):

M. Kifer ◽

E.L. Lozinskii

Download Full-text

Type inference for record concatenation and multiple inheritance

[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science ◽

10.1109/lics.1989.39162 ◽

2003 ◽

Cited By ~ 23

Author(s):

M. Wand

Keyword(s):

Type Inference ◽

Multiple Inheritance

Download Full-text

On the complexity of epistemic reasoning

[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science ◽

10.1109/lics.1989.39179 ◽

2003 ◽

Cited By ~ 10

Author(s):

M.Y. Vardi

Keyword(s):

Epistemic Reasoning

Download Full-text

Unified algebras and institutions

[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science ◽

10.1109/lics.1989.39185 ◽

2003 ◽

Cited By ~ 41

Author(s):

P.D. Mosses

Download Full-text

Equality in lazy computation systems

[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science ◽

10.1109/lics.1989.39174 ◽

2003 ◽

Cited By ~ 47

Author(s):

D.J. Howe

Download Full-text

mu -definable sets of integers

[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science ◽

10.1109/lics.1989.39189 ◽

2003 ◽

Cited By ~ 1

Author(s):

R.S. Lubarsky

Keyword(s):

Definable Sets

Download Full-text

Faithful ideal models for recursive polymorphic types

[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science ◽

10.1109/lics.1989.39176 ◽

2003 ◽

Cited By ~ 1

Author(s):

M. Abadi ◽

B. Pierce ◽

G. Plotkin

Download Full-text

Structure and representation in LF

[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science ◽

10.1109/lics.1989.39177 ◽

2003 ◽

Cited By ~ 10

Author(s):

R. Harper ◽

D. Sannella ◽

A. Tarlecki

Download Full-text

On simultaneously determinizing and complementing omega -automata

[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science ◽

10.1109/lics.1989.39188 ◽

2003 ◽

Cited By ~ 11

Author(s):

E.A. Emerson ◽

C.S. Jutla

Download Full-text

[1989] Proceedings. Fourth Annual Symposium on Logic in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

A sufficient condition for the termination of the direct sum of term rewriting systems

RI: a logic for reasoning with inconsistency

Type inference for record concatenation and multiple inheritance

On the complexity of epistemic reasoning

Unified algebras and institutions

Equality in lazy computation systems

mu -definable sets of integers

Faithful ideal models for recursive polymorphic types

Structure and representation in LF

On simultaneously determinizing and complementing omega -automata

[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science
Latest Publications