Pages that link to "Item:Q2804937"
From MaRDI portal
The following pages link to On the expressivity of minimal generic quantification (Q2804937):
Displaying 10 items.
- The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey (Q287277) (← links)
- Nominal abstraction (Q617715) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- On the generation of quantified lemmas (Q2417949) (← links)
- (Q2723900) (← links)
- On the expressivity of minimal generic quantification (Q2804937) (← links)
- On the expressibility hierarchy of Magidor-Malitz quantifiers (Q3322084) (← links)
- Proof Pearl: Abella Formalization of λ-Calculus Cube Property (Q4916060) (← links)
- Focused Inductive Theorem Proving (Q5747767) (← links)
- ASP and subset minimality: enumeration, cautious reasoning and MUSes (Q6103676) (← links)