search result

Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2018
Media group: LIPIcs
Cover von 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
OPEN V 11.1.0.0