Sign in
The bounded proof property via step algebras and step frames.
Nick Bezhanishvili
Silvio Ghilardi
Published in:
Ann. Pure Appl. Log. (2014)
Keyphrases
</>
post processing
preprocessing step
information retrieval
search engine
multiscale
optimal solution
search algorithm