A Constructor-Based Approach for Positive/Negative-Conditional Equational Specifications.

Claus-Peter Wirth Bernhard Gramlich

Published in: CTRS (1992)

Keyphrases

positive and negative
positive or negative
theorem proving
positive data
random field model
negatively correlated
positively correlated
high level
decision rules
horn clauses
equational theories
delay insensitive
neural network
formal specification
specification language
natural language
search engine