Sufficient completeness verification for conditional and constrained TRS.

Adel Bouhoula Florent Jacquemard

Published in: J. Appl. Log. (2012)

Keyphrases

model checking
random field model
neural network
data quality
formal analysis
formal verification
asynchronous circuits
concurrent systems
data mining
social networks
database systems
multiscale
data structure
video sequences
expert systems