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

Citer dette

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.
Aceto, Luca ; Fokkink, W. J. ; Ingolfsdottir, Anna. / 2-Nested Simulation is not Finitely Equationally Axiomatizable. STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15 - 17, 2001 : Proceedings: Lecture Notes in Computer Science. red. / Ferreira, A. : Reichel, H. (eds.). 2010. udg. IEEE Computer Society Press, 2001. s. 39-50
@inproceedings{f6858bb08ac111dbbb3d000ea68e967b,
title = "2-Nested Simulation is not Finitely Equationally Axiomatizable",
author = "Luca Aceto and Fokkink, {W. J.} and Anna Ingolfsdottir",
note = "ISSN ; 0302-9743",
year = "2001",
language = "English",
isbn = "3540416951",
pages = "39--50",
editor = "{Ferreira, A. : Reichel, H. (eds.)}",
booktitle = "STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15 - 17, 2001 : Proceedings",
publisher = "IEEE Computer Society Press",
address = "United States",
edition = "2010",

}

Aceto, L, Fokkink, WJ & 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, IEEE Computer Society Press, s. 39-50, 2-Nested Simulation is not Finitely Equationally Axiomatizable, 19/05/2010.

2-Nested Simulation is not Finitely Equationally Axiomatizable. / Aceto, Luca; Fokkink, W. J.; Ingolfsdottir, Anna.

STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15 - 17, 2001 : Proceedings: Lecture Notes in Computer Science. red. / Ferreira, A. : Reichel, H. (eds.). 2010. udg. IEEE Computer Society Press, 2001. s. 39-50.

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

TY - GEN

T1 - 2-Nested Simulation is not Finitely Equationally Axiomatizable

AU - Aceto, Luca

AU - Fokkink, W. J.

AU - Ingolfsdottir, Anna

N1 - ISSN ; 0302-9743

PY - 2001

Y1 - 2001

M3 - Article in proceeding

SN - 3540416951

SP - 39

EP - 50

BT - STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15 - 17, 2001 : Proceedings

A2 - Ferreira, A. : Reichel, H. (eds.), null

PB - IEEE Computer Society Press

ER -

Aceto L, Fokkink WJ, Ingolfsdottir A. 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. IEEE Computer Society Press. 2001. s. 39-50