Theoretical Computer Science
Marc Hamann's user avatar
Marc Hamann's user avatar
Marc Hamann's user avatar
Marc Hamann
  • Member for 13 years, 3 months
  • Last seen more than 8 years ago
Profile Activity
Stats
2,904
reputation
63k
reached
23
answers
2
questions
Communities
About

Professional software developer, amateur theoretical computer scientist

Badges
View all badges
1
gold badge
24
silver badges
22
bronze badges
Top tags
View all tags
98
Score
9
Posts
36
Posts %
91
Score
13
Posts
52
Posts %
55
Score
3
Posts
12
Posts %
48
Score
5
Posts
20
Posts %
44
Score
3
Posts
12
Posts %
36
Score
2
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
37
Origins and applications of Theory A vs Theory B?
Sep 20, 2010
answer
32
Is JSON a Regular Language?
Dec 27, 2010
answer
30
What constitutes denotational semantics?
Dec 6, 2010
answer
22
Why naturals instead of integers?
Dec 13, 2010
answer
17
Church's Theorem and Gödel's Incompleteness Theorems
Sep 23, 2010
question
15
Proof assistant formalizations of Finite Model Theory
Feb 29, 2012
answer
12
Understanding least-fixed point logic
Nov 3, 2012
answer
12
In what sense are coroutines dual to (sub)routines?
Nov 12, 2012
answer
10
What is the most intuitive dependent type theory I could learn?
Apr 17, 2011
answer
9
How can we know that formal methods work?
Jan 5, 2011

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.