Constant runtime complexity of term rewriting is semi-decidable

Frohn, Florian; Giesl, Jürgen (Corresponding author)

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

In: Information processing letters
Band: 139
Seite(n)/Artikel-Nr.: 18-23

Einrichtungen

  • Fachgruppe Informatik [120000]
  • Lehr- und Forschungsgebiet Informatik 2 (Programmiersprachen und Verifikation) [121420]

Identifikationsnummern