Nr. 20 (2000): RS-20 2-Nested Simulation is not Finitely Equationally Axiomatizable

Publiceret: 2000-01-20

Artikler