Profile Activity

Rob

Network profile

Reputation

525

525
522
520

2016
2017
2018
2019

Top tag

soft-question

Next privilege

1,000 Rep.

See votes, expandable usercard

Badges

6

19

Newest

Nice Answer

Next badge

0/1

Impact

0 posts edited

1 helpful flag

159 votes cast

Summary Answers Questions Tags Badges Favorites Bounties Reputation All actions

4 Questions

Views Newest Activity Votes

5

16

votes

1

answer

361

views

What is the name of this type of directed graph problem?

ds.algorithms reference-request graph-algorithms terminology

Apr 11 '11 at 0:13 virgi 2,229

2

15

votes

5

answers

582

views

Looking for papers and articles on modal substructural logics

reference-request lo.logic proof-theory

Aug 28 '15 at 14:19 Charles Stewart 3,871

3

15

votes

1

answer

346

views

Looking for papers and articles on the Tarskian Möglichkeit

Mar 27 '12 at 20:17 Paulo 446

2

8

votes

3

answers

196

views

Looking for papers and articles on higher-order sequent systems

reference-request lo.logic proof-theory

Apr 14 '11 at 7:49 Charles Stewart 3,871

Theoretical Computer Science Stack Exchange works best with JavaScript enabled