%0 Conference Paper %1 conf/db-workshops/DongL92 %A Dong, Fangqing %A Lakshmanan, Laks V. S. %B Formal Methods in Databases and Software Engineering %D 1992 %E Alagar, Vangalur S. %E Lakshmanan, Laks V. S. %E Sadri, Fereidoon %I Springer %K dblp %P 175-192 %T Intuitionistic Interpretation of Deductive Databases with Incomplete Information. %U http://dblp.uni-trier.de/db/conf/db-workshops/fmdbse1992.html#DongL92 %@ 3-540-19812-1

@inproceedings{conf/db-workshops/DongL92, added-at = {2003-02-20T00:00:00.000+0100}, author = {Dong, Fangqing and Lakshmanan, Laks V. S.}, biburl = {https://www.bibsonomy.org/bibtex/29854dce024bec120324f9039d81845a4/dblp}, booktitle = {Formal Methods in Databases and Software Engineering}, crossref = {conf/db-workshops/1992}, date = {2003-02-20}, description = {dblp}, editor = {Alagar, Vangalur S. and Lakshmanan, Laks V. S. and Sadri, Fereidoon}, interhash = {2955b0094ae78cb5aa171aafad730715}, intrahash = {9854dce024bec120324f9039d81845a4}, isbn = {3-540-19812-1}, keywords = {dblp}, pages = {175-192}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2003-02-20T00:00:00.000+0100}, title = {Intuitionistic Interpretation of Deductive Databases with Incomplete Information.}, url = {http://dblp.uni-trier.de/db/conf/db-workshops/fmdbse1992.html#DongL92}, year = 1992 }