Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
1 Résultat
|
|
sorted by
|
|
SCL(EQ): SCL for First-Order Logic with EqualityIJCAR, 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
|