search result

Cover von LIPIcs, Volume 12, CSL'11, Complete Volume

LIPIcs, Volume 12, CSL'11, Complete Volume

Year: 2013
Media group: LIPIcs
Cover von Frontmatter, Table of Contents, Preface, Conference Organization

Frontmatter, Table of Contents, Preface, Conference Organization

Year: 2011
Media group: LIPIcs
Cover von Computer Science Logic 2011
25th International Workshop : 20th Annual Conference of the EACSL : September 12 - 15, 2011, Bergen, Norway
Search for this author
Year: 2011
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 12
Media group: LIPIcs
Cover von Computer science logic
10th international workshop : annual conference of the EACSL : Utrecht, the Netherlands, September 21 - 27, 1996 : selected papers
Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1258
Media group: MONOGRAPHIE
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2020
Media group: LIPIcs
Cover von LIPIcs, Volume 175, TYPES 2019, Complete Volume

LIPIcs, Volume 175, TYPES 2019, Complete Volume

Year: 2020
Media group: LIPIcs
Cover von 25th International Conference on Types for Proofs and Programs
TYPES 2019 : June 11 - 14, 2019, Oslo, Norway
Search for this author
Year: 2020
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 175
Media group: LIPIcs
Cover von Non-Constructivity in Kan Simplicial Sets

Non-Constructivity in Kan Simplicial Sets

Year: 2015
Media group: LIPIcs
Cover von A Model of Type Theory in Cubical Sets

A Model of Type Theory in Cubical Sets

Year: 2014
Media group: LIPIcs
Cover von A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic

A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic

Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0