Show simple item record

dc.contributor.author
Biendarra, Julian
dc.contributor.author
Blanchette, Jasmin C.
dc.contributor.author
Bouzy, Aymeric
dc.contributor.author
Desharnais, Martin
dc.contributor.author
Fleury, Mathias
dc.contributor.author
Hölzl, Johannes
dc.contributor.author
Kunčar, Ondřej
dc.contributor.author
Lochbihler, Andreas
dc.contributor.author
Meier, Fabian
dc.contributor.author
Panny, Lorenz
dc.contributor.author
Popescu, Andrei
dc.contributor.author
Sternagel, Christian
dc.contributor.author
Thiemann, René
dc.contributor.author
Traytel, Dmitriy
dc.date.accessioned
2018-08-10T12:09:14Z
dc.date.available
2018-08-07T05:45:38Z
dc.date.available
2018-08-10T12:09:14Z
dc.date.issued
2017
dc.identifier.isbn
978-3-319-66167-4
en_US
dc.identifier.isbn
978-3-319-66166-7
en_US
dc.identifier.other
10.1007/978-3-319-66167-4_1
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/280919
dc.language.iso
en
en_US
dc.publisher
Springer
en_US
dc.title
Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic
en_US
dc.type
Conference Paper
dc.date.published
2017-08-29
ethz.book.title
Proceedings of the 2017 Frontiers of Combining Systems (FroCoS)
en_US
ethz.journal.volume
10483
en_US
ethz.pages.start
3
en_US
ethz.pages.end
21
en_US
ethz.event
11th International Symposium on Frontiers of Combining Systems (FroCoS 2017)
en_US
ethz.event.location
Brasília, Brazil
en_US
ethz.event.date
September 27-29, 2017
en_US
ethz.identifier.wos
ethz.publication.place
Cham
en_US
ethz.publication.status
published
en_US
ethz.date.deposited
2018-08-07T05:46:19Z
ethz.source
WOS
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.installDate
2018-08-10T12:09:19Z
ethz.rosetta.lastUpdated
2018-08-10T12:09:19Z
ethz.rosetta.exportRequired
false
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Foundational%20(Co)datatypes%20and%20(Co)recursion%20for%20Higher-Order%20Logic&rft.date=2017&rft.volume=10483&rft.spage=3&rft.epage=21&rft.au=Biendarra,%20Julian&Blanchette,%20Jasmin%20C.&Bouzy,%20Aymeric&Desharnais,%20Martin&Fleury,%20Mathias&rft.isbn=978-3-319-66167-4&978-3-319-66166-7&rft.genre=proceeding&rft_id=info:doi/978-3-319-66167-4&info:doi/978-3-319-66166-7&rft.btitle=Proceedings%20of%20the%202017%20Frontiers%20of%20Combining%20Systems%20(FroCoS)
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record