Handling common transitive relations in first-order automated reasoning
Paper i proceeding, 2016
Transitive relation
Based reasonings
Equivalence relations
Transitive binary relations
First order problems
Different treatments
Built-in-support
Författare
Koen Lindström Claessen
Chalmers, Data- och informationsteknik, Programvaruteknik
Ann Lillieström
Chalmers, Data- och informationsteknik, Programvaruteknik
CEUR Workshop Proceedings
16130073 (ISSN)
Vol. 1635 11-23Ämneskategorier
Data- och informationsvetenskap