Found: 2
Select item for more details and to access through your institution.
A sequent calculus for first-order logic formalized in Isabelle/HOL.
- Published in:
- Journal of Logic & Computation, 2023, v. 33, n. 4, p. 818, doi. 10.1093/logcom/exad013
- By:
- Publication type:
- Article
Programming and verifying a declarative first-order prover in Isabelle/HOL.
- Published in:
- AI Communications, 2018, v. 31, n. 3, p. 281, doi. 10.3233/AIC-180764
- By:
- Publication type:
- Article