Martin Berger

less info

network profile

1,789 reputation

316

bio	website	informatics.sussex.ac.uk/…
	location	London, United Kingdom
	age
visits	member for	2 years, 8 months
	seen	4 hours ago
stats	profile views	318

summary answers questions tags badges favorites bounties reputation activity

21 Answers

votes activity newest

20	Applicability of Church-Turing thesis to interactive models of computation
17	(How) can you model broadcasts in the pi-calculus?
16	What's the difference between term rewriting and pattern matching?
15	Books on programming language semantics
14	What constitutes denotational semantics?

view more

1,789 Reputation

+10	Is it possible to compute whether two functions are extensional equal?
+10	How important is knowing how to program for TCS?
+10	Books on programming language semantics
+10	Abstract algebra for Theoretical Computer Scientists

view more

1 Question

votes activity newest

10	Closure of unambiguous context-free languages under pre- and postfix.

40 Tags

94 pl.programming-languages × 11	31 turing-machines × 2
48 reference-request × 6	29 denotational-semantics × 2
34 semantics × 3	22 process-algebra × 3
31 soft-question × 5	20 machine-models
31 computability × 2	20 church-turing-thesis

view more

11 Accounts

	Theoretical Computer Science	1,789 rep	316
	Computer Science	505 rep	18
$Mathematics Stack Exchange$	Mathematics	217 rep	17
	Stack Overflow	198 rep	6
	Area 51	151 rep	1

12 Badges

recent class name

Yearling × 2	Nice Question
Nice Answer × 7	Scholar
Enlightened	Critic
Organizer	Student
Commentator	Supporter

view more

0 Active bounties

active offered earned

This user has no active bounties

198 Votes Cast

all time			by type			month		week
119	up		109	question		8		2
79	down		89	answer		8		2

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.21.692

Theoretical Computer Science Stack Exchange works best with JavaScript enabled