Back to Results
First PageMeta Content
Applied mathematics / Mathematical logic / Order theory / Logic in computer science / Metalogic / Model theory / Equational logic / Simulation preorder / Preorder / Mathematics / Logic / Theoretical computer science


BRICS Basic Research in Computer Science BRICS RSAceto et al.: 2-Nested Simulation is not Finitely Equationally Axiomatizable 2-Nested Simulation is not
Add to Reading List

Document Date: 2000-09-06 03:22:49

Open Document

File Size: 157,61 KB

Share Result on Facebook
UPDATE