PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Brown, Chad E."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Higher-order semantics and extensionality.

, , und . J. Symb. Log., 69 (4): 1027-1088 (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

E. Garrelts

E. Zafeiriou

Dr. phil. Niklas Brown University of Stuttgart

P. E. Bl\"ochl

Andr{\'{e}} Buchau

 

Weitere Publikationen von Autoren mit dem selben Namen

Extended First-Order Logic., und . TPHOLs, Volume 5674 von Lecture Notes in Computer Science, Seite 164-179. Springer, (2009)ETPS: A System to Help Students Write Formal Proofs., , , , , und . 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)Reasoning in Extensional Type Theory with Equality.. CADE, Volume 3632 von Lecture Notes in Computer Science, Seite 23-37. Springer, (2005)Higher-Order Tarski Grothendieck as a Foundation for Formal Proof., , und . ITP, Volume 141 von LIPIcs, Seite 9:1-9:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Cantor-Bernstein implies Excluded Middle., und . CoRR, (2019)Verifying and Invalidating Textbook Proofs Using Scunak.. MKM, Volume 4108 von Lecture Notes in Computer Science, Seite 110-123. Springer, (2006)Internal Guidance for Satallax., und . IJCAR, Volume 9706 von Lecture Notes in Computer Science, Seite 349-361. Springer, (2016)Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar., , , und . CoRR, (2019)Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems.. CADE, Volume 6803 von Lecture Notes in Computer Science, Seite 147-161. Springer, (2011)