Zur Komplexität von Entscheidungsalgorithmen, die auf dem Herbrand'schen Satz und regulärer Resolution beruhen
Closed access
Author
Date
1981Type
- Doctoral Thesis
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-000272630Publication status
publishedExternal links
Search print copy at ETH Library
Publisher
ETH ZürichSubject
ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK); ALLGEMEINE BETRACHTUNGEN ZUR ALGORITHMENTHEORIE (MATHEMATIK); HERBRANDSCHER SATZ (MATHEMATISCHE LOGIK); DECISION PROBLEMS (MATHEMATICAL LOGIC); GENERAL CONSIDERATIONS OF THE THEORY OF ALGORITHMS (MATHEMATICS); HERBRAND THEOREM (MATHEMATICAL LOGIC)Notes
Diss. Math. ETH Zürich, Nr. 6845, 0000. Ref.: Specker, E. ; Korref.: Engeler, E..More
Show all metadata
ETH Bibliography
yes
Altmetrics