Login / Signup
Cut for Classical Core Logic.
Neil Tennant
Published in:
Rev. Symb. Log. (2015)
Keyphrases
</>
quantum computation
probability theory
modal logic
information retrieval
asynchronous circuits
logic programming
classical logic
formal theory
set theory
machine learning
logical framework
decision trees
predicate logic
expert systems
lower bound
proof theory
horn logic
finite model theory