The complexity of simple programs

TitleOn the boundaries of solvability and unsolvability in tag systems. Theoretical and experimental results.
Publication TypeConference Paper
AuthorsDe Mol, L
EditorWoods, D, Neary, T, Seda, T
Download PDF (Author PDF)
PDF author (public):