Nested Semantics over Finite Trees are Equationally Hard

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

Research output: Contribution to journal › Journal article › Research › peer-review

24 Citations (Scopus)

Abstract

Udgivelsesdato: JUN 15

Original language	English
Journal	Information and Computation
Volume	191
Issue number	2
Pages (from-to)	203-232
ISSN	0890-5401
Publication status	Published - 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 -