default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. ALP 1988: Gaussig, GDR
- Jan Grabowski, Pierre Lescanne, Wolfgang Wechler:
Algebraic and Logic Programming, International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings. Lecture Notes in Computer Science 343, Springer 1988, ISBN 3-540-50667-5
Invited Papers
- Jan A. Bergstra:
ACP with Signals. 11-20 - Laurent Fribourg:
Functional Extensions to Prolog: Are they Needed? 21-29 - Elio Giovannetti:
Narrowing and Resolution in Logic-Functional programming Languages (Abstract). 30 - Heinrich Hußmann:
Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. 31-40 - Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis:
OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization. 41-52 - Gert Smolka:
Logic Programming with Polymorphically Order-Sorted Types. 53-70
Submitted Papers
- Christoph Beierle, Udo Pletat:
Integrating Logic Programming and Equational Specification of Abstract Data Types. 71-82 - Alexander Bockmayr
:
Narrowing with Built-In Theories. 83-92 - Wadoud Bousdira:
A Completion Procedure for Hierarchical Conditional Rewriting Systems. 93-107 - Hubert Comon:
An Effective Method for Handling Initial Algebras. 108-118 - Bernd I. Dahn:
Boolean Valued Models and Incomplete Specifications. 119-126 - George Dayantis:
Types, Modularisation and Abstraction in Logic Programming. 127-136 - Klaus Drosten:
Translating Algebraic Specifications to Prolog Programs: A Comparative Study. 137-146 - Annie Foret:
Rewrite Rule Systems for Modal Propositional Logic. 147-156 - Zoltán Fülöp, Sándor Vágvölgyi:
A Characterization of Irreducible Sets Modulo Left-Linear Term Rewriting Systems by Tree Automata. 157 - Hans-Joachim Goltz:
Functional Data Term Models and Semantic Unification. 158-167 - Horst Hansen, Michael Löwe:
Modular Algebraic Specifications. 168-179 - Dieter Hofbauer, Ralf-Detlef Kutsche:
Proving Inductive Theorems Based on Term Rewriting Systems. 180-190 - Berthold Hoffmann, Detlef Plump:
Jungle Evaluation for Efficient Term Rewriting. 191-203 - Gregory Kucherov:
A New Quasi-Reducibility Testing Algorithm and its Application to Proofs by Induction. 204-213 - Dongbo Liu, Deyi Li:
Fuzzy Reasoning Based on F-Horn Clause Rules. 214-222 - Juan José Moreno-Navarro, Mario Rodríguez-Artalejo:
BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing. 223-232 - Philippe Schnoebelen:
Refined Compilation of Pattern-Matching for Functional Languages. 233-243 - Uwe Wolter:
Narrowing in Partial Conditional Equational Theories (Abstract). 244 - Jia-Huai You:
Solving Equations in an Equational Language. 245-254 - Ana Pasztor:
Nonstandard Logics of Recursive Programs and Denotational Semantics. 255-278
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-12-26 00:59 CET 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:
