Inproceedings,

PSPACE-Completeness of Reversible Deterministic Systems.

, , , and .
MCU, volume 13419 of Lecture Notes in Computer Science, page 91-108. Springer, (2022)

Meta data

Tags

Users

  • @dblp

Comments and Reviews