An intuitionistic version of Ramsey's Theorem and its use in Program Termination.

Stefano Berardi Silvia Steila

Published in: Ann. Pure Appl. Log. (2015)

Keyphrases

fuzzy numbers
data mining
artificial intelligence
decision making
multiscale
object oriented
theorem prover
computer programs
static analysis
classical logic
linear logic