Serdar Erbatur

Available identifiers

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	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	2017-02-27	Paper
Unification over distributive exponentiation (sub)theories	2016-09-29	Paper
On Asymmetric Unification and the Combination Problem in Disjoint Theories	2014-04-16	Paper
Hierarchical Combination	2013-06-14	Paper
Asymmetric unification: a new unification paradigm for cryptographic protocol analysis	2013-06-14	Paper
Unification modulo synchronous distributivity	2012-09-05	Paper

This page was built for person: Serdar Erbatur