A Proof of Kamp's theorem
Authors: Alexander Rabinovich
We provide a simple proof of Kamp's theorem.
Volume: Volume 10, Issue 1
Published on: February 18, 2014
Accepted on: June 25, 2015
Submitted on: January 19, 2013
Keywords: Computer Science - Logic in Computer Science,Mathematics - Logic