Pages that link to "Item:Q2405250"
From MaRDI portal
The following pages link to A decision procedure for restricted intensional sets (Q2405250):
Displaying 13 items.
- Automated proof of Bell-LaPadula security properties (Q2031424) (← links)
- An automatically verified prototype of the Tokeneer ID station specification (Q2069869) (← 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)
- Extremal Restriction, Condorcet Sets, and Majority Decision Making (Q2787397) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- (Q4485188) (← links)
- (Q4901740) (← links)
- An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆ (Q4991928) (← links)
- (Q5087785) (← links)
- An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$ (Q6104768) (← links)
- Families of abstract decision problems whose admissible sets intersect in a singleton (Q6116316) (← links)
