A Proof of Kamp's theorem

We provide a simple proof of Kamp's theorem.

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Logical methods in computer science 2014-02, Vol.10, Issue 1
1. Verfasser:	Rabinovich, Alexander
Format:	Artikel
Sprache:	eng
Schlagworte:	computer science - logic in computer science mathematics - logic
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	We provide a simple proof of Kamp's theorem.
ISSN:	1860-5974 1860-5974
DOI:	10.2168/LMCS-10(1:14)2014