The following pages link to Stephen Skeirik (Q1671152):
Displaying 3 items.
- Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification (Q6486039) (← links)
- Verification of the IBOS Browser Security Properties in Reachability Logic (Q6486045) (← links)
- On Ground Convergence and Completeness of Conditional Equational Program Hierarchies (Q6487297) (← links)
