Login / Signup
Logics for Specifying Concurrent Information Systems.
Hans-Dieter Ehrich
Carlos Caleiro
Amílcar Sernadas
Grit Denker
Published in:
Logics for Databases and Information Systems (1998)
Keyphrases
</>
information systems
expressive power
information technology
health care
modal logic
propositional calculus
data mining
machine learning
mutual exclusion
databases
user satisfaction
inference rules
concurrent execution
concurrent programs