Statistics
Publications
1
Citations
22
H-Index
1
Active since
2003
Affiliations
University of Bremen(Current)
CHRISTOPH LTH is an author at University of Bremen specializing in automated reasoning and representation theory.
Top concepts
Publications per year
2003–2003
1
1
Neil Ghani, CHRISTOPH LTH, Federico De Marchi et al. · Mathematical Structures in Computer Science · 2003 · 22 citations
1–1 of 1