The Recursive Power of Algebraic Semantics.

Klaus P. Jantke

Published in: J. Inf. Process. Cybern. (1986)

Keyphrases

algebraic structure
power consumption
power distribution
higher order
formal semantics
semantic information
logical language
database
specification language
computational power
schema mappings
logic programming
logic programs
data sources
metadata
artificial intelligence
neural network