Tactics and parameters
From MaRDI portal
Recommendations
Cites work
- (In)consistency of Extensions of Higher Order Logic and Type Theory
- PAL+: a lambda-free logical framework
- A calculus of lambda calculus contexts
- scientific article; zbMATH DE number 2086242 (Why is no real title available?)
- scientific article; zbMATH DE number 4191621 (Why is no real title available?)
- scientific article; zbMATH DE number 4058907 (Why is no real title available?)
- scientific article; zbMATH DE number 1948185 (Why is no real title available?)
- scientific article; zbMATH DE number 2003156 (Why is no real title available?)
- scientific article; zbMATH DE number 1499107 (Why is no real title available?)
- Parallel reductions in \(\lambda\)-calculus
- Unification under a mixed prefix
Cited in
(13)- Using tactics to reformulate formulae for resolution theorem proving
- Program tactics and logic tactics
- Tactics and certificates in Meta Dedukti
- Using meta-variables for natural deduction in \textit{Theorema}
- scientific article; zbMATH DE number 1670747 (Why is no real title available?)
- Standalone Tactics Using OpenTheory
- PADUA Protocol: Strategies and Tactics
- scientific article; zbMATH DE number 622669 (Why is no real title available?)
- scientific article; zbMATH DE number 2003156 (Why is no real title available?)
- scientific article; zbMATH DE number 1552510 (Why is no real title available?)
- Tactic theorem proving with refinement-tree proofs and metavariables
- Theorem Proving in Higher Order Logics
- A Proof-Theoretic Approach to Tactics
This page was built for publication: Tactics and parameters
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4924546)
