Theoretical Computer Science
Christoph Haase's user avatar
Christoph Haase's user avatar
Christoph Haase's user avatar
Christoph Haase
  • Member for 8 years, 2 months
  • Last seen more than a week ago
Profile Activity
Stats
371
reputation
5k
reached
5
answers
0
questions
Communities
About

Living and working in Oxford, England.

Badges
This user doesn’t have any gold badges yet.
3
silver badges
7
bronze badges
Top tags
View all tags
20
Score
3
Posts
60
Posts %
12
Score
1
Posts
20
Posts %
12
Score
1
Posts
20
Posts %
12
Score
1
Posts
20
Posts %
11
Score
3
Posts
60
Posts %
7
Score
1
Posts
20
Posts %
Top posts
All Questions Answers
Score Newest
answer
12
Checking equivalence of two polytopes
Sep 21, 2015
answer
7
Complexity Class NEXP$^\text{NP}$
Sep 22, 2015
answer
3
Presburger Arithmetic Decision Procedures
Sep 7, 2015
answer
1
weighted directed Walk in a graph
Sep 28, 2015
answer
1
Linear diophantine equation in non-negative integers
Sep 30, 2015
Top network posts
View all network posts
9
Which recursively-defined predicates can be expressed in Presburger Arithmetic?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.