Theoretical Computer Science
Joachim's user avatar
Joachim's user avatar
Joachim's user avatar
Joachim
  • Member for 12 years, 4 months
  • Last seen more than 5 years ago
  • London, UK
Profile Activity
Stats
513
reputation
8k
reached
2
answers
8
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
12
bronze badges
Top tags
View all tags
2
Score
9
Posts
90
Posts %
2
Score
8
Posts
80
Posts %
2
Score
6
Posts
60
Posts %
2
Score
2
Posts
20
Posts %
0
Score
3
Posts
30
Posts %
0
Score
2
Posts
20
Posts %
Top posts
question
10
Understanding least-fixed point logic
Nov 3, 2012
question
9
Intuition behind proof systems
Oct 25, 2012
question
6
Is infinitary logic a logic in the sense of Gurevich?
Mar 3, 2014
question
5
Expressiveness of Infinitary Logic
Jul 4, 2014
question
4
Consequences of a $p$-optimal proof system for $\operatorname{TAUT}$
Nov 8, 2012
answer
2
Is infinitary logic a logic in the sense of Gurevich?
Mar 5, 2014
question
2
Infinitary Counting Logics: 1-sorted vs. 2-sorted framework
Jun 2, 2014
question
1
Set of functions computable in polynomial time
Nov 12, 2012
question
1
Least fixed point logic is efficiently $\operatorname{P}$-bounded for $\operatorname{P} \Leftrightarrow L_\leq$ is a logic for $\operatorname{P}$
Nov 21, 2012
answer
0
Infinitary Counting Logics: 1-sorted vs. 2-sorted framework
Jul 5, 2014
Top network posts
View all network posts
94
Update OpenSSL on OS X with Homebrew
44
Exiting Python Debugger ipdb
39
Exiting Python Debugger ipdb
29
Checking whether function has been called multiple times with different parameters
29
A maximal ideal is always a prime ideal?