Concepedia
2
Publications
71
Citations
H-Index
2007
Active since
Affiliations
University of Potsdam(Current)
Thomas Raths is an author at University of Potsdam specializing in automated reasoning, engineering, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceLogic ProgrammingAutomated Reasoning
Publications per year
2007–2008
The ILTP Problem Library for Intuitionistic Logic
Thomas Raths, Jens Otten, Christoph Kreitz · Journal of Automated Reasoning · 2007 · 61 citations
Engineering, Automated Reasoning, Iltp Problem Library +5
randoCoP: Randomizing the Proof Search Order in the Connection Calculus.
Thomas Raths, Jens Otten · Behaviour Research and Therapy · 2008 · 10 citations
Rows per page
1–2 of 2