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