Search dblp for Publications

export results for "toc:db/conf/wlp/wlp93.bht:"

 download as .bib file

@inproceedings{DBLP:conf/wlp/BiekerN93,
  author       = {Ulrich Bieker and
                  Andreas Neumann},
  editor       = {Christoph Beierle},
  title        = {Using Logic Programming and Coroutining for {VLSI} Design},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {10--14},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 11:19:43 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/BiekerN93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Borger93,
  author       = {Egon B{\"{o}}rger},
  editor       = {Christoph Beierle},
  title        = {Evolving Algebras for Specification of Logic Programming Systems},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {5},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Borger93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Brzoska93,
  author       = {Christoph Brzoska},
  editor       = {Christoph Beierle},
  title        = {Temporal Logic Programming with Bounded Universal (Modality) Goals},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {15--17},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Brzoska93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/ErtlK93,
  author       = {M. Anton Ertl and
                  Andreas Krall},
  editor       = {Christoph Beierle},
  title        = {Benutzerdefinierte Constraints},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {18--22},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/ErtlK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/FenselAS93,
  author       = {Dieter Fensel and
                  J{\"{u}}rgen Angele and
                  Rudi Studer},
  editor       = {Christoph Beierle},
  title        = {Logic Programming with {KARL}},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {23--26},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/FenselAS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/GeskeL93,
  author       = {Ulrich Geske and
                  Mario Lenz},
  editor       = {Christoph Beierle},
  title        = {Generierung von Typ-Information durch abstrakte Interpretation nach
                  einer modifizierten OLDT-Resolution},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {27--31},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/GeskeL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Goltz93,
  author       = {Hans{-}Joachim Goltz},
  editor       = {Christoph Beierle},
  title        = {Funktional-logische Programmierung mittels Methoden der constraint-logischen
                  Programmierung},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {32--35},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Goltz93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Groger93,
  author       = {Gerhard Gr{\"{o}}ger},
  editor       = {Christoph Beierle},
  title        = {Herleitung sch{\"{a}}rferer Ungleichungen f{\"{u}}r Terminierungsbeweise
                  logischer Programme},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {36--41},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Groger93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Hanus93,
  author       = {Michael Hanus},
  editor       = {Christoph Beierle},
  title        = {Lazy Unification with Inductive Simplification},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {42--46},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Hanus93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/HinkelmannL93,
  author       = {Knut Hinkelmann and
                  Thomas Labisch},
  editor       = {Christoph Beierle},
  title        = {Eine bidirektionale Maschine f{\"{u}}r die Auswertung logischer
                  Programme},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {47--50},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/HinkelmannL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Kalinski93,
  author       = {J{\"{u}}rgen Kalinski},
  editor       = {Christoph Beierle},
  title        = {Ein einheitlicher Rahmen f{\"{u}}r die Behandlung der Negation
                  in logischen Programmen},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {51--54},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Kalinski93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Lenz93,
  author       = {Mario Lenz},
  editor       = {Christoph Beierle},
  title        = {Anwendung von {CLP(R)} auf Neurocomputing},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {55--59},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Lenz93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Lock93,
  author       = {Hendrik C. R. Lock},
  editor       = {Christoph Beierle},
  title        = {Residuation with Type Constraints is Complete},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {60--63},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Lock93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Luttringhaus-Kappel93,
  author       = {Stefan L{\"{u}}ttringhaus{-}Kappel},
  editor       = {Christoph Beierle},
  title        = {Coroutining and Control Generation for Logic Programs (Extended Abstract)},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {64--68},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Luttringhaus-Kappel93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Manthey93,
  author       = {Rainer Manthey},
  editor       = {Christoph Beierle},
  title        = {{PROLOG} + Datenbanken = deduktive Datenbanken?},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {6},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Manthey93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Mayr93,
  author       = {Klaus Mayr},
  editor       = {Christoph Beierle},
  title        = {Integrating Antilemma-Constraints into SLD-Resolution},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {69--72},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Mayr93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Moser93,
  author       = {Max Moser},
  editor       = {Christoph Beierle},
  title        = {Compilation of Equational Reasoning into Logic Programs},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {73--77},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Moser93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Muck93,
  author       = {Andy M{\"{u}}ck},
  editor       = {Christoph Beierle},
  title        = {A lambda-Calculus with Logical Features},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {78--80},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Muck93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Pletat93,
  author       = {Udo Pletat},
  editor       = {Christoph Beierle},
  title        = {Eine Logikprogrammiersprache mit attribut- und konstruktorbasierten
                  Sorten},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {81--84},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Pletat93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/PoswigK93,
  author       = {J{\"{o}}rg Poswig and
                  Marija Kulas},
  editor       = {Christoph Beierle},
  title        = {An Application of Logic Programming in Type Systems of Visual Languages},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {85--89},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/PoswigK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/SeipelA93,
  author       = {Dietmar Seipel and
                  Hans Argenton},
  editor       = {Christoph Beierle},
  title        = {A Data Structure for Efficient Deduction in Disjunctive Logic Programs},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {90--94},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/SeipelA93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Smolka93,
  author       = {Gert Smolka},
  editor       = {Christoph Beierle},
  title        = {Nebenl{\"{a}}fige Objekte und Logische Programmierung},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {7--9},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Smolka93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Suggel93,
  author       = {J{\"{o}}rg S{\"{u}}ggel},
  editor       = {Christoph Beierle},
  title        = {Computing with Hierarchic Specifications},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {95--99},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Suggel93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Thielscher93,
  author       = {Michael Thielscher},
  editor       = {Christoph Beierle},
  title        = {SLDENF-Resolution},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {100--103},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Thielscher93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/WernerBK93,
  author       = {Andreas Werner and
                  Alexander Bockmayr and
                  Stefan Krischer},
  editor       = {Christoph Beierle},
  title        = {A Concept for the Implementation of {LSE} Narrowing},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {104--107},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/WernerBK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Wurtz93,
  author       = {J{\"{o}}rg W{\"{u}}rtz},
  editor       = {Christoph Beierle},
  title        = {Finite Domain Algorithms and their Verification in the Concurrent
                  Constraint Language Oz},
  booktitle    = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  pages        = {108--111},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Wurtz93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/wlp/1993,
  editor       = {Christoph Beierle},
  title        = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
                  Hagen, Germany, Informatik-Bericht 146},
  year         = {1993},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/1993.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.