search result

Cover von Functional Data Structures and Algorithms
A Proof Assistant Approach
Search for this author
Year: 2025
Publisher: New York, ACM
Media group: ONLINEBOOK
Cover von Alpha-Beta Pruning Verified (Invited Talk)

Alpha-Beta Pruning Verified (Invited Talk)

Year: 2024
Media group: LIPIcs
Cover von Rewriting techniques and applications
9th international conference : Tsukuba, Japan, March 30 - April 1, 1998 : proceedings
Search for this author
Year: 1998
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1379
Media group: MONOGRAPHIE
Cover von Formalized Proof Systems for Propositional Logic

Formalized Proof Systems for Propositional Logic

Year: 2018
Media group: LIPIcs
Cover von Verified Analysis of Functional Data Structures

Verified Analysis of Functional Data Structures

Year: 2016
Media group: LIPIcs
Cover von Concrete Semantics
With Isabelle/HOL
Author: Nipkow, Tobias; Klein, Gerwin Search for this author
Year: 2014
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von Java bytecode verification; 3/4
special issue : S. 233 - 450
Search for this author
Year: 2003
Publisher: Magdeburg, Otto-von-Guericke-Universität
Count: 3/4
Media group: SPECIAL ISSUE
Cover von RTA 98; 1/2
special issue : S. 1 - 186
Search for this author
Year: 2000
Publisher: San Diego, Academic Press
Count: 1/2
Media group: SPECIAL ISSUE
Cover von Verified Analysis of List Update Algorithms

Verified Analysis of List Update Algorithms

Year: 2016
Media group: LIPIcs
Cover von Formal Logical Methods for System Security and Correctness
Search for this author
Year: 2008
Publisher: Amsterdam, IOS Press
Series: NATO Science for Peace and Security Series : Sub-Series D: Information and Communication Security; 14
Media group: MONOGRAPHIE
OPEN V 11.1.0.0