scientific article; zbMATH DE number 3566109
From MaRDI portal
Publication:4138064
zbMath0363.68004MaRDI QIDQ4138064
Reinhard Wilhelm, Knut Ripken, Harald Ganzinger
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Composition and evaluation of attribute coupled grammars ⋮ A modified tree-to-tree correction problem ⋮ Harald Ganzinger’s Legacy: Contributions to Logics and Programming
This page was built for publication: