1943 search results - page 23 / 389 » Ordering Default Theories |
TACS
2001
Springer
14 years 27 days ago
2001
Springer
TPHOL
1998
IEEE
14 years 22 days ago
1998
IEEE
TACS
1994
Springer
14 years 16 days ago
1994
Springer
We introduce simple object calculi that support method override and object subsumption. We give an untyped calculus, typing rules, and equational rules. We illustrate the expressi...
CSCLP
2006
Springer
14 years 5 days ago
2006
Springer
LICS
1991
IEEE
13 years 12 months ago
1991
IEEE
