Login / Signup
No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete.
Willem Heijltjes
Robin Houston
Published in:
CSL-LICS (2014)
Keyphrases
</>
pspace complete
model checking
database
multi agent systems
probability distribution
decision makers
np complete