Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/deductive/Arnon90,
  author       = {Dennis S. Arnon},
  editor       = {Jan Chomicki},
  title        = {Towards a Deductive Database for Elementary Algebra and Geometry},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the North American Conference on Logic Programming, Austin, Texas,
                  USA, November 1, 1990},
  series       = {Technical Report},
  volume       = {{TR-CS-90-14}},
  publisher    = {Kansas State University},
  year         = {1990},
  timestamp    = {Wed, 04 Dec 2013 14:42:57 +0100},
  biburl       = {https://dblp.org/rec/conf/deductive/Arnon90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/deductive/Caseau90,
  author       = {Yves Caseau},
  editor       = {Jan Chomicki},
  title        = {Extending Object-Oriented Deduction Towards Constraint Logic Programming},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the North American Conference on Logic Programming, Austin, Texas,
                  USA, November 1, 1990},
  series       = {Technical Report},
  volume       = {{TR-CS-90-14}},
  publisher    = {Kansas State University},
  year         = {1990},
  timestamp    = {Tue, 29 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/Caseau90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/deductive/Phipps90,
  author       = {Geoffrey Phipps},
  editor       = {Jan Chomicki},
  title        = {Glue: {A} Deductive Database Programming Language (Extended Abstract)},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the North American Conference on Logic Programming, Austin, Texas,
                  USA, November 1, 1990},
  series       = {Technical Report},
  volume       = {{TR-CS-90-14}},
  publisher    = {Kansas State University},
  year         = {1990},
  timestamp    = {Tue, 29 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/Phipps90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/deductive/RamakrishnanBSS90,
  author       = {Raghu Ramakrishnan and
                  Per Bothner and
                  Divesh Srivastava and
                  S. Sudarshan},
  editor       = {Jan Chomicki},
  title        = {{CORAL} - {A} Database Programming Language},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the North American Conference on Logic Programming, Austin, Texas,
                  USA, November 1, 1990},
  series       = {Technical Report},
  volume       = {{TR-CS-90-14}},
  publisher    = {Kansas State University},
  year         = {1990},
  timestamp    = {Thu, 02 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/RamakrishnanBSS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/deductive/TsurON90,
  author       = {Shalom Tsur and
                  Frank Olken and
                  Dalit Naor},
  editor       = {Jan Chomicki},
  title        = {Deductive Databases for Genomic Mapping (Extended Abstract)},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the North American Conference on Logic Programming, Austin, Texas,
                  USA, November 1, 1990},
  series       = {Technical Report},
  volume       = {{TR-CS-90-14}},
  publisher    = {Kansas State University},
  year         = {1990},
  timestamp    = {Tue, 29 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/TsurON90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/deductive/VaghaniRKSS90,
  author       = {Jayen Vaghani and
                  Kotagiri Ramamohanarao and
                  David B. Kemp and
                  Zoltan Somogyi and
                  Peter J. Stuckey},
  editor       = {Jan Chomicki},
  title        = {Design Overview of the Aditi Deductive Database System},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the North American Conference on Logic Programming, Austin, Texas,
                  USA, November 1, 1990},
  series       = {Technical Report},
  volume       = {{TR-CS-90-14}},
  publisher    = {Kansas State University},
  year         = {1990},
  timestamp    = {Tue, 29 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deductive/VaghaniRKSS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/deductive/1990,
  editor       = {Jan Chomicki},
  title        = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the North American Conference on Logic Programming, Austin, Texas,
                  USA, November 1, 1990},
  series       = {Technical Report},
  volume       = {{TR-CS-90-14}},
  publisher    = {Kansas State University},
  year         = {1990},
  timestamp    = {Wed, 04 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/deductive/1990.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}