( en | de | ru )

 

Disambiguierung von "Weller, Daniel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
System Feature Description: Importing Refutations into the GAPT Framework.

, , , , , , und . PxTP, Volume 878 von CEUR Workshop Proceedings, Seite 51-57. CEUR-WS.org, (2012)

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.

Klaus Weller

Gerhild Weller

Gerhard Weller

Gustav Weller

Karin Weller

 

Weitere Publikationen von Autoren mit dem selben Namen

Expansion Trees with Cut., und . CoRR, (2013)Boolean unification with predicates., , und . J. Log. Comput., 27 (1): 109-128 (2017)CERES for First-Order Schemata, , , und . CoRR, (2013)Exposition: Synthesis via Functional Interpretation.. CoRR, (2014)System Feature Description: Importing Refutations into the GAPT Framework., , , , , , und . PxTP, Volume 878 von CEUR Workshop Proceedings, Seite 51-57. CEUR-WS.org, (2012)On the complexity of proof deskolemization., , und . J. Symb. Log., 77 (2): 669-686 (2012)On the elimination of quantifier-free cuts.. Theor. Comput. Sci., 412 (49): 6843-6854 (2011)Transforming and Analyzing Proofs in the CERES-System., , , und . LPAR Workshops, Volume 418 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)Herbrand Sequent Extraction., , , und . AISC/MKM/Calculemus, Volume 5144 von Lecture Notes in Computer Science, Seite 462-477. Springer, (2008)Expansion trees with cut., , und . Math. Struct. Comput. Sci., 29 (8): 1009-1029 (2019)