PSPACE-Completeness of Reversible Deterministic Systems.

Erik D. Demaine, Robert A. Hearn, Dylan H. Hendrickson, Jayson Lynch

Browse the full MCU paper archive.