Pages that link to "Item:Q2871856"
From MaRDI portal
The following pages link to A logic for reasoning about generic judgments (Q2871856):
Displaying 12 items.
- Cut elimination for a logic with induction and co-induction (Q1948276) (← links)
- Non-well-founded deduction for induction and coinduction (Q2055840) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- Term-generic logic (Q2339466) (← links)
- A two-level logic approach to reasoning about computations (Q2392484) (← links)
- On the expressivity of minimal generic quantification (Q2804937) (← links)
- Reasoning in Abella about structural operational semantics specifications (Q2804943) (← links)
- On the role of names in reasoning about \(\lambda\)-tree syntax specifications (Q2804945) (← links)
- Modelling generic judgements (Q2871857) (← links)
- The Abella Interactive Theorem Prover (System Description) (Q3541698) (← links)
- (Q4415240) (← links)
- Constraint handling rules with binders, patterns and generic quantification (Q4592722) (← links)