PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Brown, Chad E."

Author of the publication

copydeleteadd this publication to your clipboard
Cut-Simulation and Impredicativity

, , and . Logical Methods in Computer Science, (2009)

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.

E. Garrelts

E. Zafeiriou

Dr. phil. Niklas Brown University of Stuttgart

P. E. Bl\"ochl

Andr{\'{e}} Buchau

 

Other publications of authors with the same name

ETPS: A System to Help Students Write Formal Proofs., , , , , and . J. Autom. Reasoning, 32 (1): 75-92 (2004)Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems.. J. Autom. Reasoning, 51 (1): 57-77 (2013)Extended First-Order Logic., and . TPHOLs, volume 5674 of Lecture Notes in Computer Science, page 164-179. Springer, (2009)Cantor-Bernstein implies Excluded Middle., and . CoRR, (2019)Reasoning in Extensional Type Theory with Equality.. CADE, volume 3632 of Lecture Notes in Computer Science, page 23-37. Springer, (2005)Higher-Order Tarski Grothendieck as a Foundation for Formal Proof., , and . ITP, volume 141 of LIPIcs, page 9:1-9:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Verifying and Invalidating Textbook Proofs Using Scunak.. MKM, volume 4108 of Lecture Notes in Computer Science, page 110-123. Springer, (2006)Internal Guidance for Satallax., and . IJCAR, volume 9706 of Lecture Notes in Computer Science, page 349-361. Springer, (2016)Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar., , , and . CoRR, (2019)From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction., and . PxTP@CADE, volume 14 of EPiC Series in Computing, page 27-42. EasyChair, (2013)