Mining counterexamples for wide-signature algebras with an Isabelle server.

Wesley Fussner Boris Shminke

Published in: CoRR (2021)

Keyphrases

pattern mining
theorem prover
data mining
frequent patterns
client server
mining algorithm
neural network
text mining
databases
association rule mining
sequential patterns
signature recognition
database
wide range
itemsets
web server