Extensional equivalence of simple and general utilitarian principles.

Published in: Notre Dame J. Formal Log. (1979)

Keyphrases

special case
database
computationally tractable
information systems
knowledge base
multiscale
partial order
design principles
highly reliable