Login / Signup

A Notion of Helping and Pseudo-Complementation in Lattices of Honest Subrecursive Classes

Michael Machtey
Published in: SWAT (1973)
Keyphrases
  • object classes
  • rough approximations
  • multi party