Login / Signup
Cupping and noncapping in the r.e. weak truth table and turing degrees.
Klaus Ambos-Spies
Published in:
Arch. Math. Log. (1985)
Keyphrases
</>
truth table
defeasible logic
boolean functions
dnf formulas
membership queries
log log
rule base