Login / Signup
On the Logic of Concurrency and Conflict.
Giancarlo Mauri
M. Brambilla
Published in:
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (1981)
Keyphrases
</>
concurrency control
database systems
classical logic
modal logic
conflict resolution
neural network
machine learning
data sets
case study
set theory
automated reasoning
inference rules
concurrent programming
active rules
logic programming
object oriented
data structure
bayesian networks
genetic algorithm