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

Articles

• Nested Semantics over Finite Trees are Equationally Hard

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

  • PDF