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 Dec 21 22:26:00 2024 CET
erstellt.