Normal forms and syntactic completeness proofs for functional independencies
- Duminda Wijesekera
- , M. Ganesh
- , Jaideep Srivastava
- , Anil Nerode
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review