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