scientific article; zbMATH DE number 1380890

zbMath0939.68680MaRDI QIDQ4705608

Yoshihito Toyama, Masahiko Sakai, Takashi Nagaya

Publication date: 20 December 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (8)

Root-neededness and approximations of neededness ⋮ Decidable approximations of term rewriting systems ⋮ Decidability for left-linear growing term rewriting systems. ⋮ Decidable call-by-need computations in term rewriting ⋮ Strong and NV-sequentiality of constructor systems ⋮ Decidable call by need computations in term rewriting (extended abstract) ⋮ Sequentiality, monadic second-order logic and tree automata. ⋮ Context-sensitive rewriting strategies

This page was built for publication: