scientific article
From MaRDI portal
Publication:2712584
zbMath0971.68122MaRDI QIDQ2712584
Publication date: 6 May 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Towards a Systematic Method for Proving Termination of Graph Transformation Systems ⋮ XML graphs in program analysis
This page was built for publication: