Alexander Rabinovich - A Proof of Kamp's theorem

lmcs:730 - Logical Methods in Computer Science, February 18, 2014, Volume 10, Issue 1 - https://doi.org/10.2168/LMCS-10(1:14)2014
A Proof of Kamp's theorem

Authors: Alexander Rabinovich

We provide a simple proof of Kamp's theorem.

https://doi.org/10.2168/LMCS-10(1:14)2014
Source : oai:arXiv.org:1401.2580
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


Export

BibTeX TEI DC OpenAIRE Crossref zbJATS JSON

Share

Consultation statistics

This page has been seen 363 times.
This article's PDF has been downloaded 208 times.