Search results for: Aaron Stump
Lecture Notes in Computer Science > Term Rewriting and Applications > Session 6. System Descriptions > 287-296
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Position Papers > 502-509
Journal of Automated Reasoning > 2015 > 55 > 1 > 61-90
Formal Methods in System Design > 2013 > 42 > 1 > 91-118
Journal of Automated Reasoning > 2013 > 50 > 3 > 243-277
Electronic Notes in Theoretical Computer Science > 2009 > 228 > Complete > 121-133
Higher-Order and Symbolic Computation > 2009 > 22 > 2 > 115-144
Electronic Notes in Theoretical Computer Science > 2008 > 199 > Complete > 149-159
Electronic Notes in Theoretical Computer Science > 2008 > 196 > Complete > 129-135
Formal Methods in System Design > 2007 > 31 > 3 > 221-239