A Formalism for the Specification of Essentially Algebraic Structures in 2-Categories.
A. John PowerCharles WellsPublished in: Math. Struct. Comput. Sci. (1992)
Keyphrases
- algebraic structures
- partially ordered sets
- action language
- formal language
- transition systems
- inductive inference
- operational semantics
- high level
- knowledge representation
- expert systems
- specification language
- formal verification
- conceptual graphs
- semantic categories
- real time
- object categories
- user defined
- theoretical framework
- software engineering
- databases