Anzahl der Publikationen: 1
Buchbeitrag
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
Diese Liste wurde am
Sat Mar 23 21:42:57 2024 CET
erstellt.