default search action
BibTeX record conf/wlp/DeckerL94
@inproceedings{DBLP:conf/wlp/DeckerL94, author = {Stefan Decker and Christoph Lingenfelder}, editor = {Norbert E. Fuchs and Georg Gottlob}, title = {{\"{U}}berpr{\"{u}}fung von Integrit{\"{a}}tsbedingungen in deduktiven Datenbanken durch SLDNF-Beweisanalyse und -strukturierung}, booktitle = {Proceedings of the Tenth Logic Programming Workshop, {WLP} 94, 5-7 Octobert 1994, Univerity of Zurich, Switzerland. Technical Report 94/10}, pages = {61--64}, publisher = {Institut f{\"{u}}r Informatik der Universit{\"{a}}t Z{\"{u}}rich}, year = {1994}, timestamp = {Thu, 21 Mar 2019 11:19:43 +0100}, biburl = {https://dblp.org/rec/conf/wlp/DeckerL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.