Mark T

55

Reputation

4 views

Unregistered User

Name	Mark T
Member for	1 year
Seen	Nov 28 at 11:53
Website
Location
Age

stats recent reputation favorites

2

Questions

1

3

votes

2

answers

279

views

Representation of μ-recursive functions

lo.logic computability-theory computer-science

apr 14 12 at 12:58 Joel David Hamkins 75.2k●7●187●343

2

votes

1

answer

201

views

Algorithm for satisfiability of inequalities.

lo.logic computer-science graph-theory linear-programming

may 14 12 at 2:56 Brendan McKay 9,110●1●13●33

0

Answers

0

Votes

5

Tags

lo.logic× 2
computer-science× 2
linear-programming
graph-theory
computability-theory

2

Badges