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.