2-Nested Simulation is not Finitely Equationally Axiomatizable

Luca Aceto; W. J. Fokkink; Anna Ingolfsdottir

2-Nested Simulation is not Finitely Equationally Axiomatizable

Luca Aceto, W. J. Fokkink, Anna Ingolfsdottir

Department of Computer Science

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

Original language	English
Title of host publication	STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15 - 17, 2001 : Proceedings : Lecture Notes in Computer Science
Editors	Ferreira, A. : Reichel, H. (eds.)
Publisher	IEEE Computer Society Press
Publication date	2001
Edition	2010
Pages	39-50
ISBN (Print)	3540416951
Publication status	Published - 2001
Event	2-Nested Simulation is not Finitely Equationally Axiomatizable - Duration: 19 May 2010 → …

Conference

Conference	2-Nested Simulation is not Finitely Equationally Axiomatizable
Period	19/05/2010 → …

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Aceto, L., Fokkink, W. J., & Ingolfsdottir, A. (2001). 2-Nested Simulation is not Finitely Equationally Axiomatizable. In Ferreira, A. : Reichel, H. (eds.) (Ed.), STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15 - 17, 2001 : Proceedings: Lecture Notes in Computer Science (2010 ed., pp. 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. editor / Ferreira, A. : Reichel, H. (eds.). 2010. ed. IEEE Computer Society Press, 2001. pp. 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; 2-Nested Simulation is not Finitely Equationally Axiomatizable ; Conference date: 19-05-2010",

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. in Ferreira, A. : Reichel, H. (eds.) (ed.), STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15 - 17, 2001 : Proceedings: Lecture Notes in Computer Science. 2010 edn, IEEE Computer Society Press, pp. 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. ed. / Ferreira, A. : Reichel, H. (eds.). 2010. ed. IEEE Computer Society Press, 2001. p. 39-50.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

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

T2 - 2-Nested Simulation is not Finitely Equationally Axiomatizable

Y2 - 19 May 2010

ER -

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