Searching for authors named Thomas Hillenbrand – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Citius altius fortius: Lessons learned from the Theorem Prover Waldmeister
- … Hillenbrand 1 Max-Planck-Institut fur Informatik Saarbrucken, Germany Abstract In the last years…
- Cited by 1 (0 self) – Add To MetaCart
-
The Next WALDMEISTER Loop
- …The Next WALDMEISTER Loop Thomas Hillenbrand 1 and Bernd Lochner 2 1 Max-Planck-Institut f…
- Cited by 6 (0 self) – Add To MetaCart
-
WALDMEISTER: Development of a High Performance Completion-Based Theorem Prover
- … Hillenbrand SEKI--Report SR-96-01 Universitat Kaiserslautern, Fachbereich Informatik, D-67653 Kaiserslautern…
- Cited by 12 (0 self) – Add To MetaCart
-
A Case Study on the Use of SDL
- …A Case Study on the Use of SDL Thomas Dei and Thomas Hillenbrand {deiss…
- Add To MetaCart
-
Is Logic Effective for Analyzing C Programs?
- …Is Logic Eective for Analyzing C Programs? Thomas Hillenbrand, Andreas Podelski and Dalibor Topic…
- Add To MetaCart
-
A Phytography of Waldmeister
- …1 A Phytography of Waldmeister Bernd Lochner a and Thomas Hillenbrand b; a Fachbereich…
- Add To MetaCart
-
Superposition modulo a Shostak theory
- …Superposition modulo a Shostak Theory Harald Ganzinger, Thomas Hillenbrand, and Uwe Waldmann Max…
- Cited by 2 (0 self) – Add To MetaCart
-
First-Order Atom Definitions Extended
- …First-OrderA tom Definitions Extended BijanAfshoE=N2 Thoho Hillenbrand, andChristoN Weidenbach Max…
- Cited by 1 (0 self) – Add To MetaCart
-
The New WALDMEISTER Loop at Work
- …The New WALDMEISTER Loop at Work Jean-Marie Gaillourdet 1 , Thomas Hillenbrand 2 , Bernd L…
- Cited by 2 (0 self) – Add To MetaCart
-
System Description: Waldmeister - Improvements in Performance and Ease of Use
- …System Description: Waldmeister { Improvements in Performance and Ease of Use Thomas Hillenbrand…
- Cited by 6 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
