Serdar Erbatur

MaRDI QIDQ831916zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Knowledge problems in security protocols: going beyond subterm convergent theories	2024-10-21	Paper
Combined hierarchical matching: the regular case	2024-05-27	Paper
Non-disjoint combined unification and closure by equational paramodulation	2022-03-24	Paper
Terminating non-disjoint combined unification	2022-03-23	Paper
Computing knowledge in equational extensions of subterm convergent theories Mathematical Structures in Computer Science	2020-12-08	Paper
Rule-based unification in combined theories and the finite variant property	2019-12-04	Paper
Notions of knowledge in combinations of theories sharing constructors	2017-09-22	Paper
Unification and matching in hierarchical combinations of syntactic theories Frontiers of Combining Systems	2017-02-27	Paper
Unification over distributive exponentiation (sub)theories Journal of Automata, Languages and Combinatorics	2016-09-29	Paper
On Asymmetric Unification and the Combination Problem in Disjoint Theories Lecture Notes in Computer Science	2014-04-16	Paper
Hierarchical Combination Automated Deduction – CADE-24	2013-06-14	Paper
Asymmetric unification: a new unification paradigm for cryptographic protocol analysis Automated Deduction – CADE-24	2013-06-14	Paper
Unification modulo synchronous distributivity Automated Reasoning	2012-09-05	Paper

Research outcomes over time

This page was built for person: Serdar Erbatur