Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
Rob
Scotland, United Kingdom
top
accounts
reputation
activity
bookmarks
subscriptions
Top Questions
17
votes
What is the name of this type of directed graph problem?
ds.algorithms
reference-request
graph-algorithms
terminology
asked Apr 10, 2011 at 13:09
cstheory.stackexchange.com
15
votes
Looking for papers and articles on the Tarskian Möglichkeit
reference-request
lo.logic
proof-theory
linear-logic
modal-logic
asked Apr 7, 2011 at 10:35
cstheory.stackexchange.com
15
votes
Looking for papers and articles on modal substructural logics
reference-request
lo.logic
proof-theory
substructural-logic
asked Apr 1, 2011 at 9:08
cstheory.stackexchange.com
8
votes
Looking for papers and articles on higher-order sequent systems
reference-request
lo.logic
proof-theory
asked Apr 1, 2011 at 10:50
cstheory.stackexchange.com
8
votes
In Postgres, how do I cast character varying to an enum type?
postgresql
cast
asked Dec 11, 2012 at 16:11
dba.stackexchange.com
7
votes
Looking for papers and articles on the Tarskian Möglichkeit
reference-request
modal-logic
lo.logic
linear-logic
proof-theory
asked Apr 9, 2011 at 11:54
mathoverflow.net
6
votes
How do I build 32-bit XS modules for a 32-bit custom Perl on a 64-bit CentOS system?
perl
xs
makemaker
asked Jun 3, 2013 at 17:33
stackoverflow.com
5
votes
Why don't Perl attribute handlers get called from other packages?
perl
attributes
custom-attributes
asked Jun 21, 2011 at 21:15
stackoverflow.com
5
votes
Is it worth using vdmfec for backups to external SATA/IDE hard drives?
backup
hard-disk
asked Apr 10, 2011 at 11:37
unix.stackexchange.com
Top Answers
33
Small steps for better TCS conferences?
cstheory.stackexchange.com
21
Is it safe to rm -rf /tmp/*?
unix.stackexchange.com
12
Small steps for better TCS conferences?
cstheory.stackexchange.com
11
What is the status of fuzzy logic for TCS in 2011?
cstheory.stackexchange.com
11
What Books Should Everyone Read?
cstheory.stackexchange.com
7
In Postgres, how do I cast character varying to an enum type?
dba.stackexchange.com
6
Looking for papers and articles on modal substructural logics
cstheory.stackexchange.com
6
A possibly new representation of DAGs
cstheory.stackexchange.com
Stack Exchange works best with JavaScript enabled