Title of article
A top-down proof procedure for generalized data dependencies
Author/Authors
Stéphane Coulondre ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
29
From page
1
To page
29
Journal title
acta Informatica
Serial Year
2003
Journal title
acta Informatica
Record number
287753
Link To Document