DaveBall aka user750378

less info

network profile

188 reputation

19

bio	website
	location
	age
visits	member for	1 year, 8 months
	seen	Apr 16 at 12:56
stats	profile views	35

summary answers questions tags badges favorites bounties reputation activity

4 Questions

votes activity newest

13	(How) can you model broadcasts in the pi-calculus?
9	Expressiveness of Büchi vs CTL(*)
3	Inductive definition of ECTL*: how are recursive formulas forbidden?
0	How to show that ECTL* is more expressive than CTL* $\cup$ Büchi (with an example)

188 Reputation

+15	Inductive definition of ECTL*: how are recursive formulas forbidden?
+2	Inductive definition of ECTL*: how are recursive formulas forbidden?
+4	Inductive definition of ECTL*: how are recursive formulas forbidden?
+5	Expressiveness of Büchi vs CTL(*)

view more

0 Answers

votes activity newest

This user has not answered any questions

9 Tags

0 lo.logic × 3	0 process-algebra
0 model-checking × 3	0 pi-calculus
0 automata-theory × 3	0 pl.programming-languages
0 temporal-logic × 3	0 formal-modeling
0 linear-temporal-logic

23 Accounts

	Stack Overflow	3,293 rep	1038
	Programmers	1,263 rep	59
$TeX - LaTeX Stack Exchange$	TeX - LaTeX	303 rep	16
	Theoretical Computer Science	188 rep	19
	Meta Stack Overflow	184 rep	8

10 Badges

recent class name

Citizen Patrol	Scholar
Commentator	Nice Question
Benefactor	Student
Promoter	Enthusiast
Editor	Supporter

0 Active bounties

active offered earned

This user has no active bounties

10 Votes Cast

all time			by type
10	up		2	question
0	down		8	answer

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.23.698

Theoretical Computer Science Stack Exchange works best with JavaScript enabled