scientific article; zbMATH DE number 1304711
From MaRDI portal
Publication:4251540
zbMath0929.68035MaRDI QIDQ4251540
Nelson Mattos, Krishna Kulkarni, Roberta Cochrane
Publication date: 25 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
On the decidability of the termination problem of active database systems ⋮ Symbolic Termination and Confluence Checking for ECA Rules
This page was built for publication:
