SPASS version 2.0
From MaRDI portal
Recommendations
Cited in
(27)- Pushing up Sp(4,2 k)
- SPASS
- Assumption propagation through annotated programs
- Crystal: Integrating structured queries into a tactic language
- System description: GAPT 2.0
- Presenting and explaining Mizar
- An interactive derivation viewer
- The higher-order prover \textsc{Leo}-II
- An Extension of the Knuth-Bendix Ordering with LPO-Like Properties
- LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)
- Engineering DPLL(T) + Saturation
- System Description: Spass Version 3.0
- Automated inference of finite unsatisfiability
- Vampire 1. 1 (system description)
- SPASS \& FLOTTER version 0.42
- Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans
- The blossom of finite semantic trees
- From search to computation: redundancy criteria and simplification at work
- First-order resolution methods for modal logics
- System description: SPASS-FD
- Automated Reasoning
- Statically safe program generation with SafeGen
- Combining top-down and bottom-up techniques in program derivation
- JetViP 2. 1: The hbook version
- Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning
- SAD as a mathematical assistant -- how should we go from here to there?
- Automatic construction and verification of isotopy invariants
This page was built for publication: SPASS version 2.0
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4809064)
