search result

Cover von A Certified Proof Checker for Deep Neural Network Verification in Imandra

A Certified Proof Checker for Deep Neural Network Verification in Imandra

Year: 2025
Media group: LIPIcs
Cover von Mathematics of Program Construction
14th International Conference, MPC 2022, Tbilisi, Georgia, September 26 - 28, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13544
Media group: MONOGRAPHIE
Cover von Practical Aspects of Declarative Languages
22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20 - 21, 2020, Proceedings
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12007
Media group: MONOGRAPHIE
Cover von Coalgebraic Derivations in Logic Programming

Coalgebraic Derivations in Logic Programming

Year: 2011
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2026
Media group: LIPIcs
Cover von LIPIcs, Volume 382, ITP 2026, Complete Volume

LIPIcs, Volume 382, ITP 2026, Complete Volume

Year: 2026
Media group: LIPIcs
Cover von 17th International Conference on Interactive Theorem Proving
ITP 2026, Lisbon, Portugal, July 26-29, 2026
Search for this author
Year: 2026
Publisher: Berlin, Springer
Series: Leibniz International Proceedings in Informatics; 382
Media group: LIPIcs
Cover von Functional and Logic Programming
18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26–28, 2026, Proceedings
Search for this author
Year: 2026
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 16533
Media group: MONOGRAPHIE
Cover von Vehicle

Vehicle

Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs (Invited Talk)
Year: 2025
Media group: LIPIcs
Cover von Taming Differentiable Logics with Coq Formalisation

Taming Differentiable Logics with Coq Formalisation

Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0