Publication | Closed Access

The honest subrecursive classes are a lattice

Lattice (Order)Automated ReasoningPartially Ordered SetLattice TheoryHonest Subrecursive Classes