Nested Semantics over Finite Trees are Equationally Hard

Luca Aceto, Wan Fokkink, Rob Glabbeek, van, Anna Ingolfsdottir

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

24 Citationer (Scopus)

Abstract

Udgivelsesdato: JUN 15

Originalsprog	Engelsk
Tidsskrift	Information and Computation
Vol/bind	191
Udgave nummer	2
Sider (fra-til)	203-232
ISSN	0890-5401
Status	Udgivet - 2004

@article{68940180001e11dab4d5000ea68e967b,

title = "Nested Semantics over Finite Trees are Equationally Hard",

abstract = "Udgivelsesdato: JUN 15",

author = "Luca Aceto and Wan Fokkink and {Glabbeek, van}, Rob and Anna Ingolfsdottir",

year = "2004",

language = "English",

volume = "191",

pages = "203--232",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Academic Press",

number = "2",

}

TY - JOUR

T1 - Nested Semantics over Finite Trees are Equationally Hard

AU - Aceto, Luca

AU - Fokkink, Wan

AU - Glabbeek, van, Rob

AU - Ingolfsdottir, Anna

PY - 2004

Y1 - 2004

N2 - Udgivelsesdato: JUN 15

AB - Udgivelsesdato: JUN 15

M3 - Journal article

SN - 0890-5401

VL - 191

SP - 203

EP - 232

JO - Information and Computation

JF - Information and Computation

IS - 2

ER -