align asked May 20 '12 at 14:24

math-mode arrows superscripts asked Apr 15 '12 at 16:53

logic semantics proof-techniques rewriting-systems asked Apr 5 '12 at 18:36

cryptography encryption asked Mar 17 '12 at 17:30

logic lambda-calculus asked Apr 13 '12 at 23:55

machine-learning soft-question asked May 10 at 16:36

perl asked Dec 14 '12 at 1:53