joachim

174 reputation

I'm computer science grad student in my first master semester majoring in theoretical computer science.

	174 reputation	bio	website		visits	member for	1 year, 5 months
4 badges		location	Aachen, Germany		seen	Jan 16 at 23:59

5 Questions

votes activity newest

5	Intuition behind proof systems
5	Understanding least-fixed point logic
1	Least fixed point logic is efficiently $\operatorname{P}$-bounded for $\operatorname{P} \Leftrightarrow L_\leq$ is a logic for $\operatorname{P}$
1	Set of functions computable in polynomial time
1	Consequences of a $p$-optimal proof system for $\operatorname{TAUT}$

+5	Least fixed point logic is efficiently $\operatorname{P}$-bounded for $\operatorname{P} \Leftrightarrow L_\leq$ is a logic for $\operatorname{P}$
+5	Set of functions computable in polynomial time
+5	Consequences of a $p$-optimal proof system for $\operatorname{TAUT}$
+5	Understanding least-fixed point logic

votes activity newest

This user has not answered any questions

$Mathematics Stack Exchange$	Mathematics	667 rep	214
$TeX - LaTeX Stack Exchange$	TeX - LaTeX	255 rep	17
	Stack Overflow	228 rep	110
	Theoretical Computer Science	174 rep	4
	Ask Ubuntu	149 rep	5

recent class name

Editor	Supporter
Scholar	Student

active offered earned

This user has no active bounties

all time			by type
18	up		9	question
0	down		9	answer