Bisimulation-invariant ptime and higher-dimensional my-calculus

Amsterdam [u.a.] / Elsevier (1999) [Fachzeitschriftenartikel]

Theoretical computer science
Band: 224
Seite(n): 237-265

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Otto, Martin

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-035471