Survey
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
Download Linearizing some recursive logic programs
Document related concepts
Jesús Mosterín wikipedia , lookup
Law of thought wikipedia , lookup
Halting problem wikipedia , lookup
Curry–Howard correspondence wikipedia , lookup
Laws of Form wikipedia , lookup
Natural deduction wikipedia , lookup
History of the function concept wikipedia , lookup
Combinatory logic wikipedia , lookup
Computable function wikipedia , lookup
Transcript
