Decidability of termination in a large class of one-rule string rewriting systems

Bibliographische Detailangaben

1. Verfasser:	Geser, Alfons (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Tübingen 1997
Schriftenreihe:	Wilhelm-Schickard-Institut für Informatik <Tübingen>: WSI 1997,11
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!