Conferences in DBLP

Workshop Logische Programmierung (wlp)
1993 (conf/wlp/93)

1. Egon Börger
   Evolving Algebras for Specification of Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
   WLP, 1993, pp:5- [Conf]
   
2. Rainer Manthey
   PROLOG + Datenbanken = deduktive Datenbanken? [Citation Graph (0, 0)][DBLP]
   WLP, 1993, pp:6- [Conf]
   
3. Gert Smolka
   Nebenläfige Objekte und Logische Programmierung. [Citation Graph (0, 0)][DBLP]
   WLP, 1993, pp:7-9 [Conf]
   
4. Ulrich Bieker, Andreas Neumann
   Using Logic Programming and Coroutining for VLSI Design. [Citation Graph (0, 0)][DBLP]
   WLP, 1993, pp:10-14 [Conf]
   
5. Christoph Brzoska
   Temporal Logic Programming with Bounded Universal (Modality) Goals. [Citation Graph (0, 0)][DBLP]
   WLP, 1993, pp:15-17 [Conf]
   
6. M. Anton Ertl, Andreas Krall
   Benutzerdefinierte Constraints. [Citation Graph (0, 0)][DBLP]
   WLP, 1993, pp:18-22 [Conf]
   
7. Dieter Fensel, Jürgen Angele, Rudi Studer
   Logic Programming with KARL. [Citation Graph (0, 0)][DBLP]
   WLP, 1993, pp:23-26 [Conf]
   
8. Ulrich Geske, Mario Lenz
   Generierung von Typ-Information durch abstrakte Interpretation nach einer modifizierten OLDT-Resolution. [Citation Graph (0, 0)][DBLP]
   WLP, 1993, pp:27-31 [Conf]
   
9. Hans-Joachim Goltz
   Funktional-logische Programmierung mittels Methoden der constraint-logischen Programmierung. [Citation Graph (0, 0)][DBLP]
   WLP, 1993, pp:32-35 [Conf]
   
10. Gerhard Gröger
    Herleitung schärferer Ungleichungen für Terminierungsbeweise logischer Programme. [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:36-41 [Conf]
    
11. Michael Hanus
    Lazy Unification with Inductive Simplification. [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:42-46 [Conf]
    
12. Knut Hinkelmann, Thomas Labisch
    Eine bidirektionale Maschine für die Auswertung logischer Programme. [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:47-50 [Conf]
    
13. Jürgen Kalinski
    Ein einheitlicher Rahmen für die Behandlung der Negation in logischen Programmen. [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:51-54 [Conf]
    
14. Mario Lenz
    Anwendung von CLP(R) auf Neurocomputing. [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:55-59 [Conf]
    
15. Hendrik C. R. Lock
    Residuation with Type Constraints is Complete. [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:60-63 [Conf]
    
16. Stefan Lüttringhaus-Kappel
    Coroutining and Control Generation for Logic Programs (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:64-68 [Conf]
    
17. Klaus Mayr
    Integrating Antilemma-Constraints into SLD-Resolution. [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:69-72 [Conf]
    
18. Max Moser
    Compilation of Equational Reasoning into Logic Programs. [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:73-77 [Conf]
    
19. Andy Mück
    A lambda-Calculus with Logical Features. [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:78-80 [Conf]
    
20. Udo Pletat
    Eine Logikprogrammiersprache mit attribut- und konstruktorbasierten Sorten. [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:81-84 [Conf]
    
21. Jörg Poswig, Marija Kulas
    An Application of Logic Programming in Type Systems of Visual Languages. [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:85-89 [Conf]
    
22. Dietmar Seipel, Hans Argenton
    A Data Structure for Efficient Deduction in Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:90-94 [Conf]
    
23. Jörg Süggel
    Computing with Hierarchic Specifications. [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:95-99 [Conf]
    
24. Michael Thielscher
    SLDENF-Resolution. [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:100-103 [Conf]
    
25. Andreas Werner, Alexander Bockmayr, Stefan Krischer
    A Concept for the Implementation of LSE Narrowing. [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:104-107 [Conf]
    
26. Jörg Würtz
    Finite Domain Algorithms and their Verification in the Concurrent Constraint Language Oz. [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:108-111 [Conf]