Separata: Isabelle tactics for Separation Algebra.

Zhe Hou David Sanán Alwen Tiu Rajeev Goré Ranald Clouston

Published in: Arch. Formal Proofs (2016)

Keyphrases

theorem prover
query language
relational algebra
data model
boolean algebra
algebraic structure
databases
data mining
machine learning
data sets
algebraic expressions
relation algebra
algebraic operators
hidden markov models
database systems
information systems
computer vision
artificial intelligence