Login / Signup
The meaning of Negative Premises in Transition System Specifications.
Roland N. Bol
Jan Friso Groote
Published in:
LPNMR (1990)
Keyphrases
</>
positive and negative
natural language
formal specification
high level
concurrent systems
database
semantic interpretation
data sets
databases
hidden markov models
formal language