Login / Signup

No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete.

Willem HeijltjesRobin Houston
Published in: CSL-LICS (2014)
Keyphrases
  • pspace complete
  • model checking
  • database
  • multi agent systems
  • probability distribution
  • decision makers
  • np complete