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
30 votes
15 answers
12k views

Complex analysis in theoretical computer science

256 votes
11 answers
98k views

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

  • 5,157
17 votes
7 answers
1k views

Pointers for CS applications of logic

  • 81
67 votes
14 answers
17k views

Applications of topology to computer science

  • 791
19 votes
3 answers
973 views

What algorithms are known for computing Craig interpolants?

  • 4,746
80 votes
5 answers
4k views

Techniques for Reversing the Order of Quantifiers

  • 16.3k
15 votes
1 answer
630 views

Fixed point theorems for constructive metric spaces?

24 votes
1 answer
588 views

Unification and Gaussian Elimination