search result

Cover von Conservativity of Type Theory over Higher-Order Arithmetic

Conservativity of Type Theory over Higher-Order Arithmetic

Year: 2024
Media group: LIPIcs
Cover von Effective Kan Fibrations in Simplicial Sets
Author: Berg, Benno van den; Faber, Eric Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in mathematics; 2321
Media group: MONOGRAPHIE
Cover von Autonomous Control for a Reliable Internet of Services
Methods, Models, Approaches, Techniques, Algorithms, and Tools
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10768
Media group: MONOGRAPHIE
Cover von Wired / Wireless Internet Communications
7th International Conference, Enschede, The Netherlands, May 27 - 29 2009, Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5546
Media group: MONOGRAPHIE
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2025
Media group: LIPIcs
Cover von LIPIcs, Volume 336, TYPES 2024, Complete Volume

LIPIcs, Volume 336, TYPES 2024, Complete Volume

Year: 2025
Media group: LIPIcs
Cover von 30th International Conference on Types for Proofs and Programs
TYPES 2024, June 10-14, 2024, Copenhagen, Denmark
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 336
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2024
Media group: LIPIcs
Cover von LIPIcs, Volume 303, TYPES 2023, Complete Volume

LIPIcs, Volume 303, TYPES 2023, Complete Volume

Year: 2024
Media group: LIPIcs
Cover von 29th International Conference on Types for Proofs and Programs
TYPES 2023, June 12-16, 2023, ETSInf, Universitat Politècnica de València, Spain
Search for this author
Year: 2024
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 303
Media group: LIPIcs
OPEN V 11.1.0.0