Verification of Non-Identities in Algebras.

Irvin Roy Hentzel David Pokrass Jacobs

Published in: ISSAC (1988)

Keyphrases

model checking
face verification
verification method
data sets
information systems
temporal reasoning
signature verification
formal verification
database
data mining
decision making
learning environment
expert systems
formal methods