Concepedia

Author

Thomas Raths

University of Potsdam

Also Known As

Raths Thomas, Raths, Thomas, Thomas Raths

10

Publications

150

Citations

6

H-Index

5

Concepts

All Affiliations

University of Potsdam
TR

About

Thomas Raths is an author at University of Potsdam specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

61

2

Computer Science

1

1

61

3

Automated Reasoning

1

1

61

4

Formal Methods

1

1

61

5

Logic Programming

1

1

61

Thomas Raths

×

2

Publications

71

Citations

2

H-Index

YearCitations

The ILTP Problem Library for Intuitionistic Logic

Thomas Raths, Jens Otten, Christoph Kreitz

Journal of Automated Reasoning

2007

61

randoCoP: Randomizing the Proof Search Order in the Connection Calculus.

Thomas Raths, Jens Otten

Behaviour Research and Therapy

2008

10

Page 1