Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Mathematical logic quarterly 1988, Vol.34 (4), p.337-342
Hauptverfasser:	Richard Büchi†, J., Senger, Steven
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!