Semantic Checking of Questions Expressed in Predicate Calculus Language

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/vldb/Demolombe79, crossref={DBLP:conf/vldb/79}, title={Semantic Checking of Questions Expressed in Predicate Calculus Language}, pages={444-450}, cdrom={VLDB79/P444.PDF}, year={1979}, booktitle={VLDB}, url={http://www.informatik.uni-trier.de/~ley/db/conf/vldb/vldb79.html#Demolombe79}, ee={db/conf/vldb/Demolombe79.html}, author={Robert Demolombe} cite={DBLP:conf/sigmod/ChamberlinB74 , DBLP:persons/Codd72} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Semantic_Checking_of_Questions_Expressed_in_Predicate_Calculus_Language"
Personal tools