Extensions of Büchi's problem: Questions of decidability for addition and kth powers

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Fundamenta mathematicae 2005, Vol.185 (2), p.171-194
Hauptverfasser:	Pheidas, Thanases, Vidaux, Xavier
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!