Schwichtenberg, Helmut
(1986):
Ein einfaches Verfahren zur Normalisierung unendlicher Herleitungen.
In: Börger, E. (Hrsg.):
Computation Theory and Logic. Bd. 270. Berlin, Heidelberg, New York: Springer. S. 334-348
[PDF, 654kB]
Vorschau
Download (654kB)
| Dokumententyp: | Buchbeitrag |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Mathematik |
| Themengebiete: | 500 Naturwissenschaften und Mathematik > 510 Mathematik |
| URN: | urn:nbn:de:bvb:19-epub-4281-1 |
| Ort: | Berlin, Heidelberg, New York |
| Sprache: | Englisch |
| Dokumenten ID: | 4281 |
| Datum der Veröffentlichung auf Open Access LMU: | 05. Jun. 2008, 14:00 |
| Letzte Änderungen: | 13. Aug. 2024, 11:48 |
- Dokument bearbeiten
