( en | de | ru )

 

Disambiguation of "Erbatur, Serdar"

Author of the publication

copydeleteadd this publication to your clipboard
Prolog: Past, Present, and Future.

, , , , , , , , , and 3 other author(s). Prolog: The Next 50 Years, volume 13900 of Lecture Notes in Computer Science, Springer, (2023)

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)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)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)Unification over Distributive Exponentiation (Sub)Theories., , , and . Journal of Automata, Languages and Combinatorics, 16 (2-4): 109-140 (2011)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)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)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)Non-disjoint Combined Unification and Closure by Equational Paramodulation., , and . FroCoS, volume 12941 of Lecture Notes in Computer Science, page 25-42. Springer, (2021)