Some Fundamental Algebraic Tools for the Semantics of Computation. Part II: Signed and Abstract Theories.
Joseph A. GoguenRod M. BurstallPublished in: Theor. Comput. Sci. (1984)
Keyphrases
- linear algebra
- software tools
- high level
- formal semantics
- algebraic structure
- end users
- formal models
- semantic information
- user friendly
- propositional dynamic logic
- precise definition
- graphical representation
- design principles
- neural network
- theoretical framework
- logic programming
- decision support
- low level
- relational databases
- knowledge base