The Equational Theory of Parameterized Specifications

Published in: Inf. Comput. (1988)

Keyphrases

equational theories
theoretical framework
theoretical basis
information theory
databases
high level
multi agent
information technology
conceptual framework
theorem proving
formal theory