The Relative Power of Semantics and Unification.

David A. Plaisted Swaha Miller

Published in: Programming Logics (2013)

Keyphrases

power consumption
formal semantics
higher order
semantic information
semantic representation
logical language
database
databases
database systems
specification language