Serdar Erbatur

Available identifiers

zbMath Open erbatur.serdarMaRDI QIDQ831916

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2819403	2016-09-29	Paper
On Asymmetric Unification and the Combination Problem in Disjoint Theories	2014-04-16	Paper
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis	2013-06-14	Paper
Hierarchical Combination	2013-06-14	Paper
Unification Modulo Synchronous Distributivity	2012-09-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Serdar Erbatur