( en | de | ru )

 

Disambiguierung von "Erbatur, Serdar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Prolog: Past, Present, and Future.

, , , , , , , , , und 3 andere Autor(en). Prolog: The Next 50 Years, Volume 13900 von Lecture Notes in Computer Science, Springer, (2023)

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.

Serdar Altay

Serdar Durdagi

Serdar Sel

Serdar Özdil

Serdar Deger

 

Weitere Publikationen von Autoren mit dem selben Namen

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