2-Nested Simulation is not Finitely Equationally Axiomatizable

Luca Aceto, W. J. Fokkink, Anna Ingolfsdottir

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

10 Citationer (Scopus)
OriginalsprogEngelsk
TitelSTACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15 - 17, 2001 : Proceedings : Lecture Notes in Computer Science
RedaktørerFerreira, A. : Reichel, H. (eds.)
ForlagIEEE Computer Society Press
Publikationsdato2001
Udgave2010
Sider39-50
ISBN (Trykt)3540416951
StatusUdgivet - 2001
Begivenhed2-Nested Simulation is not Finitely Equationally Axiomatizable -
Varighed: 19 maj 2010 → …

Konference

Konference2-Nested Simulation is not Finitely Equationally Axiomatizable
Periode19/05/2010 → …

Bibliografisk note

ISSN ; 0302-9743

Citationsformater

Aceto, L., Fokkink, W. J., & Ingolfsdottir, A. (2001). 2-Nested Simulation is not Finitely Equationally Axiomatizable. I Ferreira, A. : Reichel, H. (eds.) (red.), STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15 - 17, 2001 : Proceedings: Lecture Notes in Computer Science (2010 udg., s. 39-50). IEEE Computer Society Press.