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 theoremArticle

Authors: Alexander Rabinovich ORCID

We provide a simple proof of Kamp's theorem.

https://doi.org/10.2168/LMCS-10(1:14)2014
Source: arXiv.org:1401.2580
Volume: Volume 10, Issue 1
Secondary volumes: Selected Papers of the 26th International Workshop on Computer Science Logic and the 21st Annual Conference of the EACSL (CSL 2012)
Published on: February 18, 2014
Imported on: January 19, 2013
Keywords: Computer Science - Logic in Computer Science, Mathematics - Logic
Licence: arXiv.org - Non-exclusive license to distribute

Classifications

Mathematics Subject Classification 20201
Sources:
  • [1] zbMATH Open.

8 Documents citing this article

Share and export

Consultation statistics

This page has been seen 2721 times.
This article's PDF has been downloaded 959 times.