Handling common transitive relations in first-order automated reasoning
Paper in proceeding, 2016
Transitive relation
Based reasonings
Equivalence relations
Transitive binary relations
First order problems
Different treatments
Built-in-support
Author
Koen Lindström Claessen
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Ann Lillieström
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
CEUR Workshop Proceedings
16130073 (ISSN)
Vol. 1635 11-23Subject Categories
Computer and Information Science