search result

Cover von Mechanising Böhm Trees and λη-Completeness

Mechanising Böhm Trees and λη-Completeness

Year: 2025
Media group: LIPIcs
Cover von Certified Programs and Proofs
Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 8307
Media group: MONOGRAPHIE
Cover von Dependently Sorted Theorem Proving for Mathematical Foundations

Dependently Sorted Theorem Proving for Mathematical Foundations

Year: 2023
Media group: LIPIcs
Cover von A Verified Compositional Algorithm for AI Planning

A Verified Compositional Algorithm for AI Planning

Year: 2019
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 309, ITP 2024, Complete Volume

LIPIcs, Volume 309, ITP 2024, Complete Volume

Year: 2024
Media group: LIPIcs
Cover von 15th International Conference on Interactive Theorem Proving
ITP 2024, September 9-14, 2024, Tbilisi, Georgia
Search for this author
Year: 2024
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 309
Media group: LIPIcs
Cover von Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development

Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development

Year: 2015
Media group: LIPIcs
Cover von Mechanizing Soundness of Off-Policy Evaluation

Mechanizing Soundness of Off-Policy Evaluation

Year: 2022
Media group: LIPIcs
Cover von Kalas

Kalas

A Verified, End-To-End Compiler for a Choreographic Language
Year: 2022
Media group: LIPIcs
OPEN V 11.1.0.0