C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations.
Tim A. C. Willemse
Published in:
CONCUR (2010)
Keyphrases
</>
complex systems
data structure
expert systems
computer systems
learning systems
databases
genetic algorithm
case study
intelligent systems
mathematical model
boolean functions
computing systems