ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science
Latest Publications
TOTAL DOCUMENTS
42
(FIVE YEARS 0)
H-INDEX
12
(FIVE YEARS 0)
Published By IEEE
0818619546
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
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
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
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
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
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
Computational consequences and partial solutions of a generalized unification problem
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science
◽
10.1109/lics.1989.39163
◽
2003
◽
Cited By ~ 9
Author(s):
A.J. Kfoury
◽
J. Tiuryn
◽
P. Urzyczyn
Keyword(s):
Unification Problem
Download Full-text
Axiomatizing operational equivalence in the presence of side effects
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science
◽
10.1109/lics.1989.39183
◽
2003
◽
Cited By ~ 8
Author(s):
I.A. Mason
◽
C. Talcott
Keyword(s):
Side Effects
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close