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
    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.

    6 Documents citing this article

    Share and export

    Consultation statistics

    This page has been seen 2610 times.
    This article's PDF has been downloaded 813 times.