PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hillenbrand, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
WALDMEISTER - High-Performance Equational Deduction.

, , , and . J. Autom. Reasoning, 18 (2): 265-270 (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dipl.-Ing. Thomas Kuestner

Scan time reduction in DWI of the pancreas using simultaneous multislice technique with different acceleration factors: how fast can we go?, , , , , , , and . Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)

Univ. -Prof. Dr. Thomas Graf University of Stuttgart

Bending of Lloyd’s mirror to eliminate the period chirp in the fabrication of diffraction gratings, , , and . Optics Express, 32 (10): 18430 (May 2024)

Thomas Maier

Thomas Maier

Thomas Maier

 

Other publications of authors with the same name

System Description: SpassVersion 3.0., , , , and . CADE, volume 4603 of Lecture Notes in Computer Science, page 514-520. Springer, (2007)On the Evaluation of Indexing Techniques for Theorem Proving., , , and . IJCAR, volume 2083 of Lecture Notes in Computer Science, page 257-271. Springer, (2001)A Superposition View on Nelson-Oppen.. IJCAR Doctoral Programme, volume 106 of CEUR Workshop Proceedings, CEUR-WS.org, (2004)From Search to Computation: Redundancy Criteria and Simplification at Work., , , and . Programming Logics, volume 7797 of Lecture Notes in Computer Science, page 169-193. Springer, (2013)A phytography of WALDMEISTER., and . AI Commun., 15 (2-3): 127-133 (2002)S PASS Version 2.0., , , , , and . CADE, volume 2392 of Lecture Notes in Computer Science, page 275-279. Springer, (2002)Superposition Modulo a Shostak Theory., , and . CADE, volume 2741 of Lecture Notes in Computer Science, page 182-196. Springer, (2003)On using ground joinable equations in equational theorem proving., , and . J. Symb. Comput., 36 (1-2): 217-233 (2003)System Description: Waldmeister - Improvements in Performance and Ease of Use., , and . CADE, volume 1632 of Lecture Notes in Computer Science, page 232-236. Springer, (1999)WALDMEISTER: High Performance Equational Theorem Proving., , and . DISCO, volume 1128 of Lecture Notes in Computer Science, page 63-64. Springer, (1996)