scientific article; zbMATH DE number 1487975
From MaRDI portal
Publication:4495104
zbMath0960.68104MaRDI QIDQ4495104
Thom Frühwirth, Slim Abdennadher
Publication date: 4 January 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Strong Joinability Analysis for Graph Transformation Systems in CHR ⋮ Guard Reasoning in the Refined Operational Semantics of CHR
This page was built for publication: