user avatar
user avatar
user avatar
Vijay D
  • Member for 11 years, 3 months
  • Last seen more than 2 years ago
  • Berkeley, CA
603 votes
6 answers
124k views

What's new in purely functional data structures since Okasaki?

  • 8,651
256 votes
11 answers
98k views

What is the enlightenment I'm supposed to attain after studying finite automata?

  • 5,157
67 votes
14 answers
17k views

Applications of topology to computer science

  • 791
30 votes
15 answers
12k views

Complex analysis in theoretical computer science

80 votes
5 answers
4k views

Techniques for Reversing the Order of Quantifiers

  • 16.3k
17 votes
7 answers
1k views

Pointers for CS applications of logic

  • 81
19 votes
3 answers
973 views

What algorithms are known for computing Craig interpolants?

  • 4,746
15 votes
1 answer
630 views

Fixed point theorems for constructive metric spaces?

24 votes
1 answer
588 views

Unification and Gaussian Elimination