Termination of graph rewriting is undecidable

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Plump, Detlef (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Bremen Univ., FB Mathematik/Informatik 1997
Schriftenreihe:	Informatik 7/97
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	10 S