scientific article

zbMath1270.68104MaRDI QIDQ2844206

Yasuo Kawahara, Hitomi Okuma, Wendy MacCaull

Publication date: 28 August 2013

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

Mathematics Subject Classification ID

Database theory (68P15) Knowledge representation (68T30) Special categories (18B99)

Related Items (1)

A relation-algebraic approach to the ``Hoare logic of functional dependencies

This page was built for publication: