The following pages link to Ariel Cohen (Q792194):
Displaying 12 items.
- Expected frequency and mean size of the paradox of new members (Q792195) (← links)
- Indiscriminability as indiscernibility by default (Q1005966) (← links)
- Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning (Q1024815) (← links)
- Local proofs for global safety properties (Q1039842) (← links)
- A proof of the optimality of the MIN paging algorithm using linear programming duality (Q1924620) (← links)
- (Q3007253) (← links)
- (Q3106873) (← links)
- Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses (Q3512488) (← links)
- Local Proofs for Linear-Time Properties of Concurrent Programs (Q3512490) (← links)
- Parallelizing a Symbolic Compositional Model-Checking Algorithm (Q5391523) (← links)
- Local Proofs for Global Safety Properties (Q5429316) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898623) (← links)
