Login / Signup
Separating club-guessing principles in the presence of fat forcing axioms.
David Asperó
Miguel Angel Mota
Published in:
Ann. Pure Appl. Log. (2016)
Keyphrases
</>
real time
knowledge base
image processing
search algorithm
theoretical framework
first order logic
real world
web services
case study
high level
digital libraries
trade off
magnetic field
horn clauses