default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th WLP 1993: Hagen, Germany
- Christoph Beierle:
9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universität Hagen, Germany, Informatik-Bericht 146. 1993 - Egon Börger:
Evolving Algebras for Specification of Logic Programming Systems. WLP 1993: 5 - Rainer Manthey:
PROLOG + Datenbanken = deduktive Datenbanken? WLP 1993: 6 - Gert Smolka:
Nebenläfige Objekte und Logische Programmierung. WLP 1993: 7-9 - Ulrich Bieker, Andreas Neumann:
Using Logic Programming and Coroutining for VLSI Design. WLP 1993: 10-14 - Christoph Brzoska:
Temporal Logic Programming with Bounded Universal (Modality) Goals. WLP 1993: 15-17 - M. Anton Ertl, Andreas Krall:
Benutzerdefinierte Constraints. WLP 1993: 18-22 - Dieter Fensel, Jürgen Angele, Rudi Studer:
Logic Programming with KARL. WLP 1993: 23-26 - Ulrich Geske, Mario Lenz:
Generierung von Typ-Information durch abstrakte Interpretation nach einer modifizierten OLDT-Resolution. WLP 1993: 27-31 - Hans-Joachim Goltz:
Funktional-logische Programmierung mittels Methoden der constraint-logischen Programmierung. WLP 1993: 32-35 - Gerhard Gröger:
Herleitung schärferer Ungleichungen für Terminierungsbeweise logischer Programme. WLP 1993: 36-41 - Michael Hanus:
Lazy Unification with Inductive Simplification. WLP 1993: 42-46 - Knut Hinkelmann, Thomas Labisch:
Eine bidirektionale Maschine für die Auswertung logischer Programme. WLP 1993: 47-50 - Jürgen Kalinski:
Ein einheitlicher Rahmen für die Behandlung der Negation in logischen Programmen. WLP 1993: 51-54 - Mario Lenz:
Anwendung von CLP(R) auf Neurocomputing. WLP 1993: 55-59 - Hendrik C. R. Lock:
Residuation with Type Constraints is Complete. WLP 1993: 60-63 - Stefan Lüttringhaus-Kappel:
Coroutining and Control Generation for Logic Programs (Extended Abstract). WLP 1993: 64-68 - Klaus Mayr:
Integrating Antilemma-Constraints into SLD-Resolution. WLP 1993: 69-72 - Max Moser:
Compilation of Equational Reasoning into Logic Programs. WLP 1993: 73-77 - Andy Mück:
A lambda-Calculus with Logical Features. WLP 1993: 78-80 - Udo Pletat:
Eine Logikprogrammiersprache mit attribut- und konstruktorbasierten Sorten. WLP 1993: 81-84 - Jörg Poswig, Marija Kulas:
An Application of Logic Programming in Type Systems of Visual Languages. WLP 1993: 85-89 - Dietmar Seipel, Hans Argenton:
A Data Structure for Efficient Deduction in Disjunctive Logic Programs. WLP 1993: 90-94 - Jörg Süggel:
Computing with Hierarchic Specifications. WLP 1993: 95-99 - Michael Thielscher:
SLDENF-Resolution. WLP 1993: 100-103 - Andreas Werner, Alexander Bockmayr, Stefan Krischer:
A Concept for the Implementation of LSE Narrowing. WLP 1993: 104-107 - Jörg Würtz:
Finite Domain Algorithms and their Verification in the Concurrent Constraint Language Oz. WLP 1993: 108-111
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.
last updated on 2024-09-29 23:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
