search result

Cover von Automated deduction in multiple-valued logics
Author: Hähnle, Reiner Search for this author
Year: 1994
Publisher: Oxford, Oxford University Press
Series: International series of monographs on computer science; 10
Media group: MONOGRAPHIE
Cover von An Expressive Trace Logic for Recursive Programs

An Expressive Trace Logic for Recursive Programs

Year: 2025
Media group: LIPIcs
Cover von Theorem proving with analytic tableaux and related methods
4th international workshop : Schloß Rheinfeld, St. Goar, Germany, May 7 - 10, 1995 : proceedings
Search for this author
Year: 1995
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 918
Media group: MONOGRAPHIE
Cover von Automated Reasoning
5th International Joint Conference, Edinburgh, UK, July 16 - 19, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 6173
Media group: MONOGRAPHIE
Cover von Tests and proofs
second international conference : Prato, Italy, April 9 - 11, 2008 : proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4966
Media group: MONOGRAPHIE
Cover von Locally Static, Globally Dynamic Session Types for Active Objects

Locally Static, Globally Dynamic Session Types for Active Objects

Year: 2020
Media group: OASICS
Cover von Machine Learning for Dynamic Software Analysis
Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24 - 27, 2016, Revised Papers
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : State-of-the-Art Survey; 11026
Media group: MONOGRAPHIE
Cover von Machine Learning for Dynamic Software Analysis; 4
Potentials and Limits : pp. 161-173
Search for this author
Year: 2016
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 4
Media group: DAGSTUHL REPORT
Cover von Verification of object-oriented software
the KeY approach
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 4334
Media group: MONOGRAPHIE
Cover von Principles of Contract Language; 101
pp. 1-27
Search for this author
Year: 2023
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 101
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0