title
Combining object-oriented and logic paradigms: A modal logic programming approach
author
Uustalu, Tarmo
keywords
object-oriented paradigm
modal logic
resolution calculi
modes of inheritance
dynamic states
description
Research Report Math 46/91
publishing year
1991
identifier
http://digi.lib.ttu.ee/i/?12039
language
eng
rights
http://rightsstatements.org/vocab/InC-EDU/1.0/
institution
Eesti Teaduste Akadeemia Küberneetika Instituut
Institute of Cybernetics of the Estonian Academy of Sciences