Constant runtime complexity of term rewriting is semi-decidable

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

Information processing letters
Band: 139
Seite(n): 18-23

Autorinnen und Autoren

Autorinnen und Autoren

Frohn, Florian
Giesl, Jürgen

Identifikationsnummern