Kombinatorische Logik und S-Terme
Persistenter Link
https://doi.org/10.3929/ethz-a-000136021Publikationsstatus
publishedZeitschrift / Serie
Berichte des Instituts für InformatikBand
Verlag
Eidgenössische Technische HochschuleThema
NUMERICAL MATHEMATICS AND COMPUTER APPLICATIONS IN MATHEMATICS; COMBINATORY LOGIC (MATHEMATICS); NUMERISCHE MATHEMATIK UND COMPUTERANWENDUNGEN IN DER MATHEMATIK; Combinatory logic; Numerical mathematics and computer applications in mathematics; KOMBINATORISCHE LOGIK (MATHEMATIK)Organisationseinheit
02150 - Dep. Informatik / Dep. of Computer Science
Anmerkungen
Technical Reports D-INFK.ETH Bibliographie
yes
Altmetrics