Handling Transitive Relations in First-Order Automated Reasoning
Artikel i vetenskaplig tidskrift, 2021
Transitivity
Automated theorem proving
Transitive relations
Binary relations
First-order logic
Automated reasoning
Transformation
Författare
Koen Claessen
Chalmers, Data- och informationsteknik, Funktionell programmering
Ann Lillieström
Chalmers, Data- och informationsteknik, CSE Verksamhetsstöd
Journal of Automated Reasoning
0168-7433 (ISSN) 1573-0670 (eISSN)
Vol. 65 8 1097-1124Ämneskategorier
Filosofi
Medicinsk etik
Datavetenskap (datalogi)
DOI
10.1007/s10817-021-09605-z