( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Extracting verified decision procedures: DPLL and Resolution.

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

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.

Monika Seisenberger

Claudia Seisenberger

Georg Seisenberger

Rudolf Seisenberger

Maria Seisenberger

 

Другие публикации лиц с тем же именем

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