Login / Signup
Some Fundamental Algebraic Tools for the Semantics of Computation. Part 1: Comma Categories, Colimits, Signatures and Theories.
Joseph A. Goguen
Rod M. Burstall
Published in:
Theor. Comput. Sci. (1984)
Keyphrases
</>
linear algebra
semantic information
end users
user friendly
formal models
hierarchical structures
database
logic programming
formal semantics
databases
database systems
theoretical framework
object categories
signature recognition
reasoning mechanisms
semantics of logic programs