|
Eine Ebene nach oben |
Gruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Springe zu: 2016
Anzahl der Publikationen: 1
2016
Schwichtenberg, Helmut; Seisenberger, Monika und Wiesnet, Franziskus
(2016):
Higman's Lemma and Its Computational Content.
In:
Advances in Proof Theory. Progress in Computer Science and Applied Logic, Bd. 28. Cham: Birkhäuser. S. 353-375