Search - Archive ouverte HAL Access content directly

Filter your results

1 Résultat
Image document

SCL(EQ): SCL for First-Order Logic with Equality

Hendrik Leidinger , Christoph Weidenbach
IJCAR, International Joint Conference in Automated Reasoning, Aug 2022, Haifa, Israel. pp.228-247, ⟨10.1007/978-3-031-10769-6_14⟩
Conference papers hal-03881912v1