Login / Signup
Reply to "On Proof Rules for Monitors".
John H. Howard
Published in:
ACM SIGOPS Oper. Syst. Rev. (1982)
Keyphrases
</>
logical rules
email
rule based systems
rule induction
data sets
proof theoretic
cut elimination
classification rules
active databases
mathematical proofs
proof theory
linear logic
rule discovery
association rule mining
logic programming
decision trees
website
neural network