Lewis meets Brouwer: constructive strict implication.

Tadeusz Litak Albert Visser

Published in: CoRR (2017)

Keyphrases

functional dependencies
databases
pairwise
data mining
genetic algorithm
search algorithm
query processing
query language
open shop scheduling