Nr. 27 (2003): RS-27 Nested Semantics over Finite Trees are Equationally Hard

Artikler

• Nested Semantics over Finite Trees are Equationally Hard

  Luca Aceto, Willem Jan Fokkink, Rob J. van Glabbeek, Anna Ingólfsdóttir

  • PDF (English)