research

A Proof of Kamp's theorem

Authors
Publication date
15 February 2014
Publisher
'Logical Methods in Computer Science e.V.'
Doi
    View on arXiv

    Abstract

    We provide a simple proof of Kamp's theorem

      Similar works

      Full text

      thumbnail-image

      Available Versions

      CiteSeerX

      redirect
      oaioai:CiteSeerX.psu:10.1.1.755.1...
      Last time updated on 30/10/2017