Bedwyr
From MaRDI portal
Software:21443
No author found.
Related Items (21)
The undecidability of proof search when equality is a logical connective ⋮ Proof checking and logic programming ⋮ SPEC: An Equivalence Checker for Security Protocols ⋮ A two-level logic approach to reasoning about computations ⋮ Extracting Proofs from Tabled Proof Search ⋮ Nominal abstraction ⋮ αCheck: A mechanized metatheory model checker ⋮ Cut elimination for a logic with induction and co-induction ⋮ Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax ⋮ Unnamed Item ⋮ Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming ⋮ Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus ⋮ On the Expressivity of Minimal Generic Quantification ⋮ Case Analysis of Higher-Order Data ⋮ Reasoning in Abella about Structural Operational Semantics Specifications ⋮ Least and Greatest Fixed Points in Linear Logic ⋮ Formalizing Operational Semantic Specifications in Logic ⋮ A case study in programming coinductive proofs: Howe’s method ⋮ Mechanized metatheory revisited ⋮ Divergence and unique solution of equations ⋮ A proof theory for model checking
This page was built for software: Bedwyr
