Pages that link to "Item:Q2666960"
From MaRDI portal
The following pages link to Automated reasoning with restricted intensional sets (Q2666960):
Displaying 4 items.
- An automatically verified prototype of the Tokeneer ID station specification (Q2069869) (← links)
- (Q5087785) (← links)
- An automatically verified prototype of the Android permissions system (Q6103592) (← links)
- A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers (Q6653095) (← links)