Non-disjoint Combined Unification and Closure by Equational Paramodulation

von Erbatur, Serdar
Veröffentlicht in FroCoS (13. : 2021 : Birmingham) Frontiers of Combining Systems (2021)

Terminating Non-disjoint Combined Unification

von Erbatur, Serdar
Veröffentlicht in LOPSTR (30. : 2020 : Online) Logic-based program synthesis and transformation (2021)