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

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

  • 8,661
256 votes
11 answers
99k views

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

  • 5,165
81 votes
5 answers
4k views

Techniques for Reversing the Order of Quantifiers

  • 16.4k
67 votes
14 answers
17k views

Applications of topology to computer science

  • 791
31 votes
15 answers
12k views

Complex analysis in theoretical computer science

24 votes
1 answer
599 views

Unification and Gaussian Elimination

19 votes
3 answers
992 views

What algorithms are known for computing Craig interpolants?

  • 4,746
17 votes
7 answers
1k views

Pointers for CS applications of logic

  • 81
15 votes
1 answer
631 views

Fixed point theorems for constructive metric spaces?