Cover von Coinductive Predicates and Final Sequences in a Fibration opens in new tab

Coinductive Predicates and Final Sequences in a Fibration

article : pp. 197-214
Search for this author
Year: 2013
Publisher: Amsterdam, Elsevier
Media group: ARTICLE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: HASUO ICHIRO Location 2: 2nd FLOOR Location 3: DAGSTUHL IMPACTS Status: reference collection

Details

Search for this author
Year: 2013
Publisher: Amsterdam, Elsevier
Works included: Dagstuhl Seminar 12411
opens in new tab
Search for this systematic
Search for this subject type
Volume: 298
Participating parties: Search for this character Hasuo, Ichiro; Cho, Kenta; Kataoka, Toshiki; Jacobs, Bart -Nijmegen-
Media group: ARTICLE