Cover von 22nd International Conference on Types for Proofs and Program opens in new tab

22nd International Conference on Types for Proofs and Program

TYPES 2016 : May 23 - 26, 2016 : Novi Sad, Serbia
Search for this author
Year: 2018
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 97
Media group: LIPIcs
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: online only Location 2: ELECTRONIC EDITION Location 3: Status: OpenAccess

Content

International Conference on Types for Proofs and Program <22, 2016, Novi Sad>

Details

Search for this author
Year: 2018
Publisher: Wadern, LZI
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-95977-065-1
ISBN (2nd): 3-95977-065-0
Series: Leibniz International Proceedings in Informatics; 97
Participating parties: Search for this character Ghilezan, Silvia; Geuvers, Herman; Ivetic, Jelena
Media group: LIPIcs