Login / Signup
Parameterization of Order-Sorted Algebraic Specifications with Built-In Coercers.
Zhenyu Qian
Published in:
ADT (1988)
Keyphrases
</>
order sorted
predicate logic
high level
knowledge acquisition
specification language
machine learning
bayesian networks
knowledge discovery
higher order
logic programs
higher level
model checking
formal specification