Theoretical Computer Science
Christoph Haase
Profile Activity
Stats
371
reputation
5k
reached
5
answers
0
questions
Communities
About

I'm a Departmental Lecturer in Computer Science at the University of Oxford.

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
Votes Newest
12
Checking equivalence of two polytopes
Sep 21 '15
7
Complexity Class NEXP$^\text{NP}$
Sep 22 '15
3
Presburger Arithmetic Decision Procedures
Sep 7 '15
1
weighted directed Walk in a graph
Sep 28 '15
1
Linear diophantine equation in non-negative integers
Sep 30 '15
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.