Implicit language equations: existence and uniqueness of solutions

Authors:
Ernst L. Leiss
Affiliations:
Univ. of Houston, Houston, TX
Venue:
Theoretical Computer Science
Year:
1995

Citing 0
Cited 3

Unification in a Description Logic with Transitive Closure of Roles

LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Non-standard inferences in description logics

Non-standard inferences in description logics
On the role of complementation in implicit language equations and relations

Journal of Computer and System Sciences

Quantified Score

Hi-index	5.23

Visualization

Abstract