( en | de | ru )

 

Disambiguation of "Stump, Aaron"

Author of the publication

copydeleteadd this publication to your clipboard
6 Years of SMT-COMP.

, , , , and . J. Autom. Reason., 50 (3): 243-277 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wolfgang Stump

Franz Stump

Kurt Aaron

Siegfried Aaron

Else Aaron

 

Other publications of authors with the same name

The calculus of dependent lambda eliminations.. J. Funct. Program., (2017)Foundational proof checkers with small witnesses., , and . PPDP, page 264-274. ACM, (2003)Syntax and Typing for Cedille Core.. CoRR, (2018)Verified programming in Guru., , , , and . PLPV, page 49-58. ACM, (2009)Efficient lambda encodings for Mendler-style coinductive types in Cedille., , and . MSFP@ETAPS, volume 317 of EPTCS, page 72-97. (2020)Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-Comp 2007)., , , and . Int. J. Artif. Intell. Tools, 17 (4): 569-606 (2008)The Design of a Practical Proof Checker for a Lazy Functional Language., , and . Trends in Functional Programming, volume 7829 of Lecture Notes in Computer Science, page 117-132. Springer, (2012)A Type-Based Approach to Divide-and-Conquer Recursion in Coq., , , , , and . Proc. ACM Program. Lang., 7 (POPL): 61-90 (January 2023)StarExec: A Cross-Community Infrastructure for Logic Solving., , and . IJCAR, volume 8562 of Lecture Notes in Computer Science, page 367-373. Springer, (2014)Preface., and . PLPV@IJCAR, volume 174 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2006)