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.


    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

    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

    Share

    Consultation statistics

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