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

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

Originalsprog	Engelsk
Titel	STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15 - 17, 2001 : Proceedings : Lecture Notes in Computer Science
Redaktører	Ferreira, A. : Reichel, H. (eds.)
Forlag	IEEE Computer Society Press
Publikationsdato	2001
Udgave	2010
Sider	39-50
ISBN (Trykt)	3540416951
Status	Udgivet - 2001
Begivenhed	2-Nested Simulation is not Finitely Equationally Axiomatizable - Varighed: 19 maj 2010 → …

Konference

Konference	2-Nested Simulation is not Finitely Equationally Axiomatizable
Periode	19/05/2010 → …

Bibliografisk note

ISSN ; 0302-9743

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

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.

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; 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. 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 proceeding › Konferenceartikel i proceeding › Forskning

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 -