Pages that link to "Item:Q4633533"
From MaRDI portal
The following pages link to A Decision Procedure for Sets, Binary Relations and Partial Functions (Q4633533):
Displaying 8 items.
- Handling transitive relations in first-order automated reasoning (Q2069868) (← links)
- Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
- Decision procedures for theories of sets with measures (Q2405249) (← links)
- Automated reasoning with restricted intensional sets (Q2666960) (← links)
- Decision functions and characterization of their properties (Q3422468) (← links)
- (Q4553283) (← links)
- (Q4901740) (← links)
- (Q5087785) (← links)