Bisimulation-invariant ptime and higher-dimensional my-calculus
Otto, Martin
Amsterdam [u.a.] : Elsevier (1999)
Fachzeitschriftenartikel
In: Theoretical computer science
Band: 224
Seite(n)/Artikel-Nr.: 237-265
Identifikationsnummern
- RWTH PUBLICATIONS: RWTH-CONV-035471