TY  - BOOK
AU  - Beierle,Christoph
AU  - Bergstra,J.A
AU  - Bockmayr,Alexander
AU  - Bousdira,Wadoud
AU  - Comon,Hubert
AU  - Dahn,Bernd I.
AU  - Dayantis,George
AU  - Drosten,K.
AU  - Ffllop,Z.
AU  - Foret,Annie
AU  - Fribourg,Laurent
AU  - Giovannetti,Elio
AU  - Goltz,Hans-Joachim
AU  - Grabowski,Jan
AU  - Hansen,Horst
AU  - Hofbauer,Dieter
AU  - Hoffmann,Berthold
AU  - Hussmarm,Heinrich
AU  - Jouannaud,Jean-Pierre
AU  - Kirchner,Claude
AU  - Kirchner,Hélène
AU  - Kucherov,G.A
AU  - Kutsche,Ralf-Detlef
AU  - Lescanne,Pierre
AU  - Li,Deyi
AU  - Liu,Dongbo
AU  - Löwe,Michael
AU  - Moreno-Navarro,Juan José
AU  - Pasztor,Ana
AU  - Pietät,Udo
AU  - Plump,Detlef
AU  - Rodríguez-Artalejo,Mario
AU  - Schnoebelen,Ph
AU  - Smolka,Geit
AU  - Vagvolgyi,S.
AU  - Wechler,Wolfgang
AU  - Wolter,Uwe
AU  - You,Jia-Huai
TI  - Algebraic and Logic Programming: Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988 
T2  - Mathematical Research : Mathematische Forschung
SN  - 9783112620250
PY  - 2022///]
CY  - Berlin, Boston
PB  - De Gruyter
KW  - 1988
KW  - Algebra
KW  - Algorithmen
KW  - Computerwissenschaften
KW  - DDR
KW  - Datenstrukturen
KW  - Gaussig
KW  - Informatik
KW  - Internationaler Workshop
KW  - Konferenzband
KW  - Logik
KW  - Programmiersprachen
KW  - Programmierung
KW  - MATHEMATICS / Linear & Nonlinear Programming
KW  - bisacsh
N1  - Frontmatter --; Preface --; Contents --; INVITED PAPERS --; ACP WITH SIGNALS --; FUNCTIONAL EXTENSIONS TO PROLOG: ARE THEY NEEDED? --; NARROWING AND RESOLUTION IN LOGIC-FUNCTIONAL PROGRAMMING LANGUAGES --; Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting --; OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization --; Logic Programming with Polymorphically Order-Sorted Types --; SUBMITTED PAPERS --; Integrating Logic Programming and Equational Specification of Abstract Data Types --; NARROWING WITH BUILT-IN THEORIES --; A completion procedure for hierarchical conditional rewriting systems --; An effective method for handling initial algebras --; BOOLEAN VALUED MODELS AND INCOMPLETE SPECIFICATIONS --; TYPES, MODULARISATION AND ABSTRACTION IN LOGIC PROGRAMMING --; TRANSLATING ALGEBRAIC SPECIFICATIONS TO PROLOG PROGRAMS: A COMPARATIVE STUDY --; Rewrite Rule Systems for Modal Propositional Logic --; A CHARACTERIZATION OF IRREDUCIBLE SETS MODULO LEFT-LINEAR TERM REWRITING SYSTEMS BY TREE AUTOMATA --; FUNCTIONAL DATA TEBM MODELS AND SEMANTIC UNIFICATION --; MODULAR ALGEBRAIC SPECIFICATIONS --; PROVING INDUCTIVE THEOREMS BASED ON TERM REWRITING SYSTEMS --; Jungle Evaluation for Efficient Term Rewriting --; A NEW QUASI-REDUCTIBILITY TESTING ALGORITHM AND ITS APPLICATION TO PROOFS BY INDUCTION --; FUZZY REASONING BASED ON f-HORN CLAUSE RULES --; BABEL: A Functional and Logic Programing Language based on constructor discipline and narrowing --; Refined Compilation of Pattern-Matching for Functional Languages --; NARROWING IN PARTIAL CONDITONAL EQUATIONAL THEORIES --; SOLVING EQUATIONS IN AN EQUATIONAL LANGUAGE --; NONSTANDARD LOGICS OF RECURSIVE PROGRAMS AND DENOTATIONAL SEMANTICS --; Backmatter; restricted access; Issued also in print
UR  - https://doi.org/10.1515/9783112620267
UR  - https://www.degruyter.com/isbn/9783112620267
UR  - https://www.degruyter.com/document/cover/isbn/9783112620267/original
ER  -