Bedwyr
From MaRDI portal
Software:21443
swMATH9460MaRDI QIDQ21443FDOQ21443
Author name not available (Why is that?)
Cited In (21)
- A case study in programming coinductive proofs: Howe’s method
- Least and Greatest Fixed Points in Linear Logic
- Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus
- Mechanized metatheory revisited
- Title not available (Why is that?)
- SPEC: An Equivalence Checker for Security Protocols
- Extracting Proofs from Tabled Proof Search
- Proof checking and logic programming
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
- Nominal abstraction
- Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming
- Cut elimination for a logic with induction and co-induction
- αCheck: A mechanized metatheory model checker
- Divergence and unique solution of equations
- A two-level logic approach to reasoning about computations
- The undecidability of proof search when equality is a logical connective
- A proof theory for model checking
- Case analysis of higher-order data
- On the expressivity of minimal generic quantification
- Formalizing Operational Semantic Specifications in Logic
- Reasoning in Abella about structural operational semantics specifications
This page was built for software: Bedwyr
