Finite acyclic theories are unitary

Authors:
Satish R. Thatte
Affiliations:
-
Venue:
Journal of Symbolic Computation
Year:
1993

Citing 0
Cited 2

Automated synthesis of interface adapters for reusable classes

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Object Imaging

ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract