Login / Signup

Logics for Inheritance Theory.

Richmond H. ThomasonJohn F. Horty
Published in: NMR (1988)
Keyphrases
  • expressive power
  • proof theory
  • object oriented
  • theoretical framework
  • theoretical basis
  • real time
  • formal theory
  • data sets
  • theoretical foundation
  • object oriented databases
  • proof theoretic