Nr. 1 (1999): RS-1 Hereditary History Preserving Simulation is Undecidable

Publiceret: 1999-01-01