PSPACE-Completeness of Reversible Deterministic Systems.
Saved in:
| Title: | PSPACE-Completeness of Reversible Deterministic Systems. |
|---|---|
| Authors: | Demaine, Erik D.1, edemaine@mit.edu, Hearn, Robert A.1, bob@hearn.to, Hendrickson, Dylan1, dylanhen@mit.edu, Lynch, Jayson1, jaysonl@mit.edu |
| Source: | International Journal of Foundations of Computer Science; Nov2025, Vol. 36 Issue 7, p1041-1062, 22p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01290541 |
|---|---|
| DOI: | 10.1142/S0129054123470032 |
