Problems of Equivalence, Categoricity of Axioms and States Description in Databases
Tatjana L. Plotkin, Boris I. Plotkin and Sarit KrausVolume:
61
Language:
english
Journal:
Studia Logica: An International Journal for Symbolic Logic
DOI:
10.2307/20016014
Date:
November, 1998
File:
PDF, 2.28 MB
english, 1998