## Stem hereditari$ (all stems)

### 10 papers:

- ICGT-2010-Heindel #category theory
- Hereditary Pushouts Reconsidered (TH), pp. 250–265.
- PPDP-2009-Aranda-LopezNSS #constraints #database #deduction #fixpoint #implementation #semantics
- Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas (GAL, SN, FSP, JSH), pp. 117–128.
- FLOPS-2008-NievaSS #constraints #database #deduction #formal method
- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (SN, JSH, FSP), pp. 289–304.
- FLOPS-2008-Tatsuta #normalisation
- Types for Hereditary Head Normalizing Terms (MT), pp. 195–209.
- LICS-2008-Tatsuta
- Types for Hereditary Permutators (MT), pp. 83–92.
- FLOPS-2001-Delzanno #case study #debugging #prolog #protocol #security #specification
- Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and λ Prolog — A Case-study (GD), pp. 123–137.
- DLT-1997-IkedaA #complexity #on the
- On the Complexity of Languages Definable by Hereditary Elementary Formal Systems (DI, HA), pp. 223–235.
- ILPS-1997-LeachNR #constraints #logic programming
- Constraint Logic Programming with Hereditary Harrop Formulas (JL, SN, MRA), pp. 307–321.
- ILPS-1995-Hui-Bon-Hoa #proving
- Clause-based proofs for hereditary Harrop formulas (AHBH), pp. 179–193.
- LICS-1987-MillerNS #proving
- Hereditary Harrop Formulas and Uniform Proof Systems (DM, GN, AS), pp. 98–105.