The following pages link to Serdar Erbatur (Q831916):
Displayed 11 items.
- Non-disjoint combined unification and closure by equational paramodulation (Q831919) (← links)
- Terminating non-disjoint combined unification (Q2119106) (← links)
- Rule-based unification in combined theories and the finite variant property (Q2278291) (← links)
- Notions of knowledge in combinations of theories sharing constructors (Q2405240) (← links)
- (Q2819403) (← links)
- Unification Modulo Synchronous Distributivity (Q2908474) (← links)
- Unification and Matching in Hierarchical Combinations of Syntactic Theories (Q2964469) (← links)
- Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis (Q4928441) (← links)
- Hierarchical Combination (Q4928442) (← links)
- Computing knowledge in equational extensions of subterm convergent theories (Q5139279) (← links)
- On Asymmetric Unification and the Combination Problem in Disjoint Theories (Q5410678) (← links)