( en | de | ru )

 

Disambiguierung von "Seisenberger, Monika"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Extracting verified decision procedures: DPLL and Resolution.

, , , und . Logical Methods in Computer Science, (2015)

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.

Monika Seisenberger

Claudia Seisenberger

Georg Seisenberger

Rudolf Seisenberger

Maria Seisenberger

 

Weitere Publikationen von Autoren mit dem selben Namen

Concurrent Gaussian elimination., , , und . CoRR, (2023)Proofs, Programs, Processes., und . CiE, Volume 6158 von Lecture Notes in Computer Science, Seite 39-48. Springer, (2010)Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031)., , , und . Dagstuhl Reports, 6 (1): 69-98 (2016)Program extraction applied to monadic parsing., , und . J. Log. Comput., 29 (4): 487-518 (2019)Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway., , , , , , , , , und . ISoLA (4), Volume 13704 von Lecture Notes in Computer Science, Seite 246-268. Springer, (2022)Proofs, Programs, Processes., und . Theory Comput. Syst., 51 (3): 313-329 (2012)Extracting verified decision procedures: DPLL and Resolution., , , und . Logical Methods in Computer Science, (2015)An Inductive Version of Nash-Williams' Minimal-Bad-Sequence Argument for Higman's Lemma.. TYPES, Volume 2277 von Lecture Notes in Computer Science, Seite 233-242. Springer, (2000)Report on BCTCS 2022., und . Bull. EATCS, (2022)A Formal Introduction to Batch-Integrated Gradients for Temporal Explanations., , , , und . ICTAI, Seite 452-459. IEEE, (2023)