Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Lutz Straßburger

The Problem of Proof Identity, and Why Computer Scientists Should Care About Hilbert's 24th Problem

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences

English

On the Decision Problem for MELL

Theoretical Computer Science

Computer Science

Theoretical Computer Science

English

Non-Commutativity and MELL in the Calculus of Structures

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Related publications

Nobel Lecture: The BEH Mechanism and Its Scalar Boson

Reviews of Modern Physics

English

Nobel Lecture: Single-Molecule Spectroscopy, Imaging, and Photocontrol: Foundations for Super-Resolution Microscopy

Reviews of Modern Physics

English

The Conformal Bootstrap: Theory, Numerical Techniques, and Applications

Reviews of Modern Physics

English

Erratum: Axions and the Strong CP Problem [Rev. Mod. Phys. 82 , 557 (2010)]

Reviews of Modern Physics

English

Colloquium: Quantum Networks With Trapped Ions

Reviews of Modern Physics

English

Ion Acceleration by Superintense Laser-Plasma Interaction

Reviews of Modern Physics

English

Colloquium: Hidden Order, Superconductivity, and Magnetism: The Unsolved Case ofURu2Si2

Reviews of Modern Physics

English

Colloquium: Area Laws for the Entanglement Entropy

Reviews of Modern Physics

English

Sap Flow and Sugar Transport in Plants

Reviews of Modern Physics

English

Asymmetries in Top Quark Pair Production at Hadron Colliders

Reviews of Modern Physics

English