GRAT
From MaRDI portal
Software:33768
No author found.
Related Items (6)
Formalization of the resolution calculus for first-order logic ⋮ Unnamed Item ⋮ Local Negative Circuits and Cyclic Attractors in Boolean Networks with at most Five Components ⋮ Unnamed Item ⋮ Fast machine words in Isabelle/HOL ⋮ Efficient verified (UN)SAT certificate checking
This page was built for software: GRAT
