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
    Licence: arXiv.org - Non-exclusive license to distribute

    Linked data

    Source : ScholeXplorer IsPartOf DOI 10.4230/lipics.csl.2012
    • 10.4230/lipics.csl.2012
    LIPIcs, Volume 16, CSL'12, Complete Volume
    Durand, Arnaud ;

    13 Documents citing this article

    Export

    BibTeX TEI DC OpenAIRE Crossref DOAJ zbJATS JSON

    Share

    Consultation statistics

    This page has been seen 446 times.
    This article's PDF has been downloaded 266 times.