Login / Signup

A simple proof of a theorem of Jung.

Douglas BauerAurora MorganaEdward F. Schmeichel
Published in: Discret. Math. (1990)
Keyphrases
  • database
  • interactive theorem proving
  • databases
  • cooperative
  • von neumann