Extensions décidables et indécidables de la théorie monadique du deuxième ordre de deux fonctions de successeur
Closed access
Author
Date
1985Type
- Doctoral Thesis
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-000354199Publication status
publishedExternal links
Search print copy at ETH Library
Publisher
ETH ZürichSubject
ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK); DECISION PROBLEMS (MATHEMATICAL LOGIC)Notes
Diss. Math. ETH Zürich, Nr. 7898, 0000. Ref.: Läuchli, H. ; Korref.: Specker, E..More
Show all metadata
ETH Bibliography
yes
Altmetrics