( en | de | ru )

 

Disambiguation of "Erbatur, Serdar"

Author of the publication

copydeleteadd this publication to your clipboard
Formalizing Informal Logic and Natural Language Deductivism.

, , , , , , , , , , , and . ICLP Workshops, volume 2970 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)

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. You can also use the button next to the name to display some publications already assigned to the person.

Serdar Altay

Serdar Durdagi

Serdar Sel

Serdar Özdil

Serdar Deger

 

Other publications of authors with the same name

Formalizing Informal Logic and Natural Language Deductivism., , , , , , , , , and 2 other author(s). ICLP Workshops, volume 2970 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Unification in a Theory of Blind Signatures., , and . TABLEAUX (Workshops, Tutorials, and Short Papers), volume IAM-11-002 of Technical Report, page 31-44. (2011)Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis., , , , , , , , , and . CADE, volume 7898 of Lecture Notes in Computer Science, page 231-248. Springer, (2013)Rule-Based Unification in Combined Theories and the Finite Variant Property., , , and . LATA, volume 11417 of Lecture Notes in Computer Science, page 356-367. Springer, (2019)Unification over Distributive Exponentiation (Sub)Theories., , , and . Journal of Automata, Languages and Combinatorics, 16 (2-4): 109-140 (2011)Terminating Non-disjoint Combined Unification., , and . LOPSTR, volume 12561 of Lecture Notes in Computer Science, page 113-130. Springer, (2020)On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract)., , , , , and . UNIF, page 33-35. (2014)Hierarchical Combination of Matching Algorithms (Extended Abstract)., , , , and . UNIF, page 36-40. (2014)Non-disjoint Combined Unification and Closure by Equational Paramodulation., , and . FroCoS, volume 12941 of Lecture Notes in Computer Science, page 25-42. Springer, (2021)Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories., , , and . FSCD, volume 260 of LIPIcs, page 30:1-30:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)