Carsten Lund

E1145564 UNEXPLORED

Carsten Lund is a theoretical computer scientist known for his contributions to computational complexity theory, including work on interactive proofs and the MIP = NEXP result.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Carsten Lund canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

MIP equals NEXP → hasAuthor → Carsten Lund ⓘ

subject surface form: MIP = NEXP