Problems of Equivalence, Categoricity of Axioms and States Description in Databases
Tatjana L. Plotkin, Sarit Kraus, Boris I. PlotkinVolume:
61
Pages:
20
Journal:
Studia Logica
DOI:
10.1023/a:1005066020883
Date:
November, 1998
File:
PDF, 1.22 MB
1998