Login / Signup
Another Look at Parameterization for Order-Sorted Algebraic Specifications.
Zhenyu Qian
Published in:
J. Comput. Syst. Sci. (1994)
Keyphrases
</>
order sorted
predicate logic
algebraic expressions
general purpose
neural network
higher order
semantic network
formal specification