( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic.

, и . LPAR, том 57 из EPiC Series in Computing, стр. 95-110. EasyChair, (2018)

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.

Anela Taubitz

Anela Taubitz

 

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

A Globally Sound Analytic Calculus for Henkin Quantifiers., и . LFCS, том 11972 из Lecture Notes in Computer Science, стр. 128-143. Springer, (2020)Effective Skolemization., и . WoLLIC, том 13923 из Lecture Notes in Computer Science, стр. 69-82. Springer, (2023)A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem., , и . LFCS, том 10703 из Lecture Notes in Computer Science, стр. 55-71. Springer, (2018)Sequent Calculi for Choice Logics., , , и . IJCAR, том 13385 из Lecture Notes in Computer Science, стр. 331-349. Springer, (2022)Herbrand's Theorem in Inductive Proofs., и . LPAR, том 100 из EPiC Series in Computing, стр. 295-310. EasyChair, (2024)Note on Globally Sound Analytic Calculi for Quantifier Macros., и . WoLLIC, том 11541 из Lecture Notes in Computer Science, стр. 486-497. Springer, (2019)Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic., и . LPAR, том 57 из EPiC Series in Computing, стр. 95-110. EasyChair, (2018)On the Unification of Term Schemata., , и . UNIF, стр. 6:1-6:6. (2020)On Translations of Epsilon Proofs to LK., и . LPAR, том 100 из EPiC Series in Computing, стр. 232-245. EasyChair, (2024)Schematic Refutations of Formula Schemata., , и . J. Autom. Reason., 65 (5): 599-645 (2021)