عنوان

Algebraic and logic programming :

شابک

0387506675

شابک

3540506675

شابک

9780387506678

شابک

9783540506676

شماره

b543199

عنوان اصلي

Algebraic and logic programming :

نام عام مواد

[Book]

ساير اطلاعات عنواني

international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings

نام نخستين پديدآور

J. Grabowski, P. Lescanne, W. Wechler (eds.).

محل نشرو پخش و غیره

Berlin ; New York

نام ناشر، پخش کننده و غيره

Springer-Verlag, c

تاریخ نشرو بخش و غیره

[1989]

نام خاص و کميت اثر

278 pages : illustrations ; 25 cm.

عنوان فروست

Lecture notes in computer science, 343.

متن يادداشت

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.- 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 term models and semantic unification.- Modular algebraic specifications.- Proving inductive theorems based on term rewriting systems.- Jungle evaluation for efficient term rewriting.- A new quasi-reducibility testing algorithm and its application to proofs by induction.- Fuzzy reasoning based on f-horn clause rules.- Babel: A functional and logic programming language based on constructor discipline and narrowing.- Refined compilation of pattern-matching for functional languages.- Narrowing in partial conditional equational theories.- Solving equations in an equational language.- Nonstandard logics of recursive programs and denotational semantics.

موضوع مستند نشده

Algebraic logic -- Congresses.

موضوع مستند نشده

Algebraic logic.

موضوع مستند نشده

Logic programming -- Congresses.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

J. Grabowski, P. Lescanne, W. Wechler (eds.).

مستند نام اشخاص تاييد نشده

J Grabowski

مستند نام اشخاص تاييد نشده

Pierre Lescanne

مستند نام اشخاص تاييد نشده

Wolfgang Wechler

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y