TY - CONF TI - A dynamic-logic-based deductive database manipulation language AU - Cao, Hua AU - Bell, D.A. AU - Hull, M.E.C. PY - null SP - 35-43 PB - Ελληνική Εταιρία Επιστημόνων Η/Υ και Πληροφορικής T2 - 4ο Πανελλήνιο Συνέδριο Πληροφορικής με διεθνή συμμετοχή. Πρακτικά εισηγήσεων.Έρευνα, ανάπτυξη, εφαρμογές.Τόμος 2 ER -