Login / Signup
Weak Kleene Algebra is Sound and (Possibly) Complete for Simulation
Ernie Cohen
Published in:
CoRR (2009)
Keyphrases
</>
simulation model
propositional logic
query language
simulation environment
data model
mathematical model
discrete event simulation
algebraic expressions
information retrieval
numerical simulations
boolean algebra