Sound and complete rules for data reification
From MaRDI portal
Publication:1373852
DOI10.1007/BF02919424zbMath0886.68047MaRDI QIDQ1373852
Publication date: 25 November 1997
Published in: Science in China. Series E (Search for Journal in Brave)
68P05: Data structures
Cites Work