Bøger af Herve Gallaire

In addition to logic and databases the types of papers were expanded to include other important theoretical issues such as dependency theory which, although it sometimes uses logic as a basis, does not fit with our intended meaning of logic and databases explored at the first workshop.