Network profile

Rob

Reputation

795

795
790
785

2018
2019
2020
2021

Top tag

soft-question

Next privilege

1,000 Rep.

See votes

Badges

7

19

Newest

Yearling

Next badge

0/1

Impact

0 posts edited

1 helpful flag

159 votes cast

4 Questions

Votes Activity Newest Views

5

16

votes

1

answer

383

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,399

2

15

votes

5

answers

606

views

Looking for papers and articles on modal substructural logics

reference-request lo.logic proof-theory

Aug 28 '15 at 14:19 Charles Stewart 4,246

3

15

votes

1

answer

371

views

Looking for papers and articles on the Tarskian Möglichkeit

Mar 27 '12 at 20:17 Paulo 446

2

8

votes

3

answers

203

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 4,246

Theoretical Computer Science Stack Exchange works best with JavaScript enabled