Show simple item record

dc.contributor.author
Savioz, Christian
dc.contributor.supervisor
Läuchli, Hans
dc.contributor.supervisor
Specker, Ernst P.
dc.date.accessioned
2017-06-13T00:06:54Z
dc.date.available
2017-06-13T00:06:54Z
dc.date.issued
1985
dc.identifier.uri
http://hdl.handle.net/20.500.11850/138643
dc.identifier.doi
10.3929/ethz-a-000354199
dc.format
application/pdf
dc.language.iso
fr
dc.publisher
ETH Zürich
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.subject
ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK)
dc.subject
DECISION PROBLEMS (MATHEMATICAL LOGIC)
dc.title
Extensions décidables et indécidables de la théorie monadique du deuxième ordre de deux fonctions de successeur
dc.type
Doctoral Thesis
dc.rights.license
In Copyright - Non-Commercial Use Permitted
ethz.size
62 p.
ethz.code.ddc
DDC - DDC::5 - Science::510 - Mathematics
ethz.notes
Diss. Math. ETH Zürich, Nr. 7898, 0000. Ref.: Läuchli, H. ; Korref.: Specker, E..
ethz.identifier.diss
7898
ethz.identifier.nebis
000354199
ethz.publication.place
Zürich
ethz.publication.status
published
ethz.date.deposited
2017-06-13T00:07:09Z
ethz.source
ECOL
ethz.identifier.importid
imp593669b12b16372706
ethz.ecolpid
eth:36796
ethz.eth
yes
ethz.availability
Closed access
ethz.rosetta.installDate
2017-08-01T12:23:19Z
ethz.rosetta.lastUpdated
2020-02-14T21:36:23Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Extensions%20d%C3%A9cidables%20et%20ind%C3%A9cidables%20de%20la%20th%C3%A9orie%20monadique%20du%20deuxi%C3%A8me%20ordre%20de%20deux%20fonctions%20de%20successeur&rft.date=1985&rft.au=Savioz,%20Christian&rft.genre=unknown&rft.btitle=Extensions%20d%C3%A9cidables%20et%20ind%C3%A9cidables%20de%20la%20th%C3%A9orie%20monadique%20du%20deuxi%C3%A8me%20ordre%20de%20deux%20fonctions%20de%20successeur
 Search print copy at ETH Library

Files in this item

Thumbnail
Thumbnail

Publication type

Show simple item record