Normal forms and syntactic completeness proofs for functional independencies

Duminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Normal forms and syntactic completeness proofs for functional independencies'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science