1 Minggu 3, Pertemuan 6 Relational Calculus Matakuliah: T0206-Sistem Basisdata Tahun: 2005 Versi: 1.0/0.0.
DECIDABILITY OF PRESBURGER ARITHMETIC USING FINITE AUTOMATA Presented by : Shubha Jain Reference : Paper by Alexandre Boudet and Hubert Comon.
Minggu 3, Pertemuan 6 Relational Calculus
Slides adapted from