search result

Cover von Formally Verifying a Vertical Cell Decomposition Algorithm

Formally Verifying a Vertical Cell Decomposition Algorithm

Year: 2025
Media group: LIPIcs
Cover von Interactive theorem proving and program development
Coq'Art : the calculus of inductive constructions
Author: Bertot, Yves; Casteran, Pierre Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
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 From Semantics to Computer Science
Essays in Honour of Gilles Kahn
Search for this author
Year: 2009
Publisher: Cambridge, Cambridge University Press
Media group: MONOGRAPHIE
Cover von Theorem proving in higher order logics
12th international conference : Nice, France, September 14 - 17, 1999 : proceedings
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1690
Media group: MONOGRAPHIE
OPEN V 11.1.0.0