The following pages link to GRAT (Q33768):
Displaying 6 items.
- Formalization of the resolution calculus for first-order logic (Q1663242) (← links)
- Fast machine words in Isabelle/HOL (Q1791180) (← links)
- Local Negative Circuits and Cyclic Attractors in Boolean Networks with at most Five Components (Q4631519) (← links)
- (Q5094131) (← links)
- (Q5875431) (← links)
- Efficient verified (UN)SAT certificate checking (Q5919480) (← links)