
Closed access
Author
Date
1992Type
- Doctoral Thesis
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-000646491Publication status
publishedExternal links
Search print copy at ETH Library
Publisher
ETH ZürichSubject
DEKLARATIVE PROGRAMMIERUNG + LOGISCHE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); THEORIE DER TYPEN (MATHEMATISCHE LOGIK); SPEZIELLE ALGEBREN (ALGEBRA); KONSISTENZ (SOFTWARE ENGINEERING); KOMBINATORISCHE LOGIK (MATHEMATIK); GRAPHENTHEORIE (MATHEMATIK); DECLARATIVE PROGRAMMING + LOGIC PROGRAMMING (PROGRAMMING METHODS); THEORY OF TYPES (MATHEMATICAL LOGIC); SPECIAL ALGEBRAS (ALGEBRA); CONSISTENCY (SOFTWARE ENGINEERING); COMBINATORY LOGIC (MATHEMATICS); GRAPH THEORY (MATHEMATICS)Notes
Diss. Math. Wiss. ETH Zürich, Nr. 9800, 1992. Ref.: E. Engeler ; Korref.: H. Läuchli.More
Show all metadata
ETH Bibliography
yes
Altmetrics