Staff View: Algebraic and Logic Programming :

Algebraic and Logic Programming : : Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988 / / ed. by Jan Grabowski, Wolfgang Wechler, Pierre Lescanne.

Saved in:

Bibliographic Details
MitwirkendeR:	Beierle, Christoph, Bergstra, J.A, Bockmayr, Alexander, Bousdira, Wadoud, Comon, Hubert, Dahn, Bernd I., Dayantis, George, Drosten, K., Ffllop, Z., Foret, Annie, Fribourg, Laurent, Giovannetti, Elio, Goltz, Hans-Joachim, Hansen, Horst, Hofbauer, Dieter, Hoffmann, Berthold, Hussmarm, Heinrich, Jouannaud, Jean-Pierre, Kirchner, Claude, Kirchner, Hélène, Kucherov, G.A, Kutsche, Ralf-Detlef, Li, Deyi, Liu, Dongbo, Löwe, Michael, Moreno-Navarro, Juan José, Pasztor, Ana, Pietät, Udo, Plump, Detlef, Rodríguez-Artalejo, Mario, Schnoebelen, Ph, Smolka, Geit, Vagvolgyi, S., Wolter, Uwe, You, Jia-Huai,
HerausgeberIn:	Grabowski, Jan, Lescanne, Pierre, Wechler, Wolfgang,
Place / Publishing House:	Berlin ;, Boston : : De Gruyter, , [2022] ©1988
Year of Publication:	2022
Edition:	Reprint 2022
Language:	English
Series:	Mathematical Research : Mathematische Forschung ; 49
Online Access:	https://doi.org/10.1515/9783112620267 https://www.degruyter.com/isbn/9783112620267 Cover
Physical Description:	1 online resource (284 p.)
Tags:	Add Tag No Tags, Be the first to tag this record!

id	9783112620267
ctrlnum	(DE-B1597)632216
collection	bib_alma
record_format	marc
spelling	Algebraic and Logic Programming : Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988 / ed. by Jan Grabowski, Wolfgang Wechler, Pierre Lescanne. Reprint 2022 Berlin ; Boston : De Gruyter, [2022] ©1988 1 online resource (284 p.) text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Mathematical Research : Mathematische Forschung ; 49 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 http://purl.org/coar/access_right/c_16ec online access with authorization star Issued also in print. Mode of access: Internet via World Wide Web. In English. Description based on online resource; title from PDF title page (publisher's Web site, viewed 29. Jul 2022) NON-CLASSIFIABLE. bisacsh Beierle, Christoph, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Bergstra, J.A, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Bockmayr, Alexander, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Bousdira, Wadoud, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Comon, Hubert, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Dahn, Bernd I., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Dayantis, George, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Drosten, K., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Ffllop, Z., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Foret, Annie, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Fribourg, Laurent, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Giovannetti, Elio, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Goltz, Hans-Joachim, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Grabowski, Jan, editor. edt http://id.loc.gov/vocabulary/relators/edt Hansen, Horst, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Hofbauer, Dieter, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Hoffmann, Berthold, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Hussmarm, Heinrich, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Jouannaud, Jean-Pierre, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Kirchner, Claude, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Kirchner, Hélène, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Kucherov, G.A, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Kutsche, Ralf-Detlef, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Lescanne, Pierre, editor. edt http://id.loc.gov/vocabulary/relators/edt Li, Deyi, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Liu, Dongbo, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Löwe, Michael, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Moreno-Navarro, Juan José, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Pasztor, Ana, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Pietät, Udo, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Plump, Detlef, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Rodríguez-Artalejo, Mario, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Schnoebelen, Ph, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Smolka, Geit, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Vagvolgyi, S., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Wechler, Wolfgang, editor. edt http://id.loc.gov/vocabulary/relators/edt Wolter, Uwe, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb You, Jia-Huai, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb print 9783112620250 https://doi.org/10.1515/9783112620267 https://www.degruyter.com/isbn/9783112620267 Cover https://www.degruyter.com/document/cover/isbn/9783112620267/original
language	English
format	eBook
author2	Beierle, Christoph, Beierle, Christoph, Bergstra, J.A, Bergstra, J.A, Bockmayr, Alexander, Bockmayr, Alexander, Bousdira, Wadoud, Bousdira, Wadoud, Comon, Hubert, Comon, Hubert, Dahn, Bernd I., Dahn, Bernd I., Dayantis, George, Dayantis, George, Drosten, K., Drosten, K., Ffllop, Z., Ffllop, Z., Foret, Annie, Foret, Annie, Fribourg, Laurent, Fribourg, Laurent, Giovannetti, Elio, Giovannetti, Elio, Goltz, Hans-Joachim, Goltz, Hans-Joachim, Grabowski, Jan, Grabowski, Jan, Hansen, Horst, Hansen, Horst, Hofbauer, Dieter, Hofbauer, Dieter, Hoffmann, Berthold, Hoffmann, Berthold, Hussmarm, Heinrich, Hussmarm, Heinrich, Jouannaud, Jean-Pierre, Jouannaud, Jean-Pierre, Kirchner, Claude, Kirchner, Claude, Kirchner, Hélène, Kirchner, Hélène, Kucherov, G.A, Kucherov, G.A, Kutsche, Ralf-Detlef, Kutsche, Ralf-Detlef, Lescanne, Pierre, Lescanne, Pierre, Li, Deyi, Li, Deyi, Liu, Dongbo, Liu, Dongbo, Löwe, Michael, Löwe, Michael, Moreno-Navarro, Juan José, Moreno-Navarro, Juan José, Pasztor, Ana, Pasztor, Ana, Pietät, Udo, Pietät, Udo, Plump, Detlef, Plump, Detlef, Rodríguez-Artalejo, Mario, Rodríguez-Artalejo, Mario, Schnoebelen, Ph, Schnoebelen, Ph, Smolka, Geit, Smolka, Geit, Vagvolgyi, S., Vagvolgyi, S., Wechler, Wolfgang, Wechler, Wolfgang, Wolter, Uwe, Wolter, Uwe, You, Jia-Huai, You, Jia-Huai,
author_facet	Beierle, Christoph, Beierle, Christoph, Bergstra, J.A, Bergstra, J.A, Bockmayr, Alexander, Bockmayr, Alexander, Bousdira, Wadoud, Bousdira, Wadoud, Comon, Hubert, Comon, Hubert, Dahn, Bernd I., Dahn, Bernd I., Dayantis, George, Dayantis, George, Drosten, K., Drosten, K., Ffllop, Z., Ffllop, Z., Foret, Annie, Foret, Annie, Fribourg, Laurent, Fribourg, Laurent, Giovannetti, Elio, Giovannetti, Elio, Goltz, Hans-Joachim, Goltz, Hans-Joachim, Grabowski, Jan, Grabowski, Jan, Hansen, Horst, Hansen, Horst, Hofbauer, Dieter, Hofbauer, Dieter, Hoffmann, Berthold, Hoffmann, Berthold, Hussmarm, Heinrich, Hussmarm, Heinrich, Jouannaud, Jean-Pierre, Jouannaud, Jean-Pierre, Kirchner, Claude, Kirchner, Claude, Kirchner, Hélène, Kirchner, Hélène, Kucherov, G.A, Kucherov, G.A, Kutsche, Ralf-Detlef, Kutsche, Ralf-Detlef, Lescanne, Pierre, Lescanne, Pierre, Li, Deyi, Li, Deyi, Liu, Dongbo, Liu, Dongbo, Löwe, Michael, Löwe, Michael, Moreno-Navarro, Juan José, Moreno-Navarro, Juan José, Pasztor, Ana, Pasztor, Ana, Pietät, Udo, Pietät, Udo, Plump, Detlef, Plump, Detlef, Rodríguez-Artalejo, Mario, Rodríguez-Artalejo, Mario, Schnoebelen, Ph, Schnoebelen, Ph, Smolka, Geit, Smolka, Geit, Vagvolgyi, S., Vagvolgyi, S., Wechler, Wolfgang, Wechler, Wolfgang, Wolter, Uwe, Wolter, Uwe, You, Jia-Huai, You, Jia-Huai,
author2_variant	c b cb c b cb j b jb j b jb a b ab a b ab w b wb w b wb h c hc h c hc b i d bi bid b i d bi bid g d gd g d gd k d kd k d kd z f zf z f zf a f af a f af l f lf l f lf e g eg e g eg h j g hjg h j g hjg j g jg j g jg h h hh h h hh d h dh d h dh b h bh b h bh h h hh h h hh j p j jpj j p j jpj c k ck c k ck h k hk h k hk g k gk g k gk r d k rdk r d k rdk p l pl p l pl d l dl d l dl d l dl d l dl m l ml m l ml j j m n jjm jjmn j j m n jjm jjmn a p ap a p ap u p up u p up d p dp d p dp m r a mra m r a mra p s ps p s ps g s gs g s gs s v sv s v sv w w ww w w ww u w uw u w uw j h y jhy j h y jhy
author2_role	MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR HerausgeberIn HerausgeberIn MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR HerausgeberIn HerausgeberIn MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR HerausgeberIn HerausgeberIn MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR
author_sort	Beierle, Christoph,
title	Algebraic and Logic Programming : Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988 /
spellingShingle	Algebraic and Logic Programming : Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988 / Mathematical Research : Mathematische Forschung ; 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
title_sub	Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988 /
title_full	Algebraic and Logic Programming : Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988 / ed. by Jan Grabowski, Wolfgang Wechler, Pierre Lescanne.
title_fullStr	Algebraic and Logic Programming : Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988 / ed. by Jan Grabowski, Wolfgang Wechler, Pierre Lescanne.
title_full_unstemmed	Algebraic and Logic Programming : Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988 / ed. by Jan Grabowski, Wolfgang Wechler, Pierre Lescanne.
title_auth	Algebraic and Logic Programming : Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988 /
title_alt	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
title_new	Algebraic and Logic Programming :
title_sort	algebraic and logic programming : proceedings of an international workshop held in gaussig (gdr), november 14–18, 1988 /
series	Mathematical Research : Mathematische Forschung ;
series2	Mathematical Research : Mathematische Forschung ;
publisher	De Gruyter,
publishDate	2022
physical	1 online resource (284 p.) Issued also in print.
edition	Reprint 2022
contents	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
isbn	9783112620267 9783112620250
url	https://doi.org/10.1515/9783112620267 https://www.degruyter.com/isbn/9783112620267 https://www.degruyter.com/document/cover/isbn/9783112620267/original
illustrated	Not Illustrated
doi_str_mv	10.1515/9783112620267
work_keys_str_mv	AT beierlechristoph algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT bergstraja algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT bockmayralexander algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT bousdirawadoud algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT comonhubert algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT dahnberndi algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT dayantisgeorge algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT drostenk algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT ffllopz algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT foretannie algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT fribourglaurent algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT giovannettielio algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT goltzhansjoachim algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT grabowskijan algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT hansenhorst algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT hofbauerdieter algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT hoffmannberthold algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT hussmarmheinrich algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT jouannaudjeanpierre algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT kirchnerclaude algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT kirchnerhelene algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT kucherovga algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT kutscheralfdetlef algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT lescannepierre algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT lideyi algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT liudongbo algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT lowemichael algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT morenonavarrojuanjose algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT pasztorana algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT pietatudo algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT plumpdetlef algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT rodriguezartalejomario algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT schnoebelenph algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT smolkageit algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT vagvolgyis algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT wechlerwolfgang algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT wolteruwe algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988 AT youjiahuai algebraicandlogicprogrammingproceedingsofaninternationalworkshopheldingaussiggdrnovember14181988
status_str	n
ids_txt_mv	(DE-B1597)632216
carrierType_str_mv	cr
is_hierarchy_title	Algebraic and Logic Programming : Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988 /
author2_original_writing_str_mv	noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField
_version_	1770178798479736832
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>07604nam a22010815i 4500</leader><controlfield tag="001">9783112620267</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20220729113935.0</controlfield><controlfield tag="006">m\|\|\|\|\|o\|\|d\|\|\|\|\|\|\|\|</controlfield><controlfield tag="007">cr \|\| \|\|\|\|\|\|\|\|</controlfield><controlfield tag="008">220729t20221988gw fo d z eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783112620267</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9783112620267</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)632216</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-B1597</subfield><subfield code="b">eng</subfield><subfield code="c">DE-B1597</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">NON000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Algebraic and Logic Programming :</subfield><subfield code="b">Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988 /</subfield><subfield code="c">ed. by Jan Grabowski, Wolfgang Wechler, Pierre Lescanne.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Reprint 2022</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ;</subfield><subfield code="a">Boston : </subfield><subfield code="b">De Gruyter, </subfield><subfield code="c">[2022]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (284 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield><subfield code="b">PDF</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Mathematical Research : Mathematische Forschung ;</subfield><subfield code="v">49</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">Preface -- </subfield><subfield code="t">Contents -- </subfield><subfield code="t">INVITED PAPERS -- </subfield><subfield code="t">ACP WITH SIGNALS -- </subfield><subfield code="t">FUNCTIONAL EXTENSIONS TO PROLOG: ARE THEY NEEDED? -- </subfield><subfield code="t">NARROWING AND RESOLUTION IN LOGIC-FUNCTIONAL PROGRAMMING LANGUAGES -- </subfield><subfield code="t">Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting -- </subfield><subfield code="t">OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization -- </subfield><subfield code="t">Logic Programming with Polymorphically Order-Sorted Types -- </subfield><subfield code="t">SUBMITTED PAPERS -- </subfield><subfield code="t">Integrating Logic Programming and Equational Specification of Abstract Data Types -- </subfield><subfield code="t">NARROWING WITH BUILT-IN THEORIES -- </subfield><subfield code="t">A completion procedure for hierarchical conditional rewriting systems -- </subfield><subfield code="t">An effective method for handling initial algebras -- </subfield><subfield code="t">BOOLEAN VALUED MODELS AND INCOMPLETE SPECIFICATIONS -- </subfield><subfield code="t">TYPES, MODULARISATION AND ABSTRACTION IN LOGIC PROGRAMMING -- </subfield><subfield code="t">TRANSLATING ALGEBRAIC SPECIFICATIONS TO PROLOG PROGRAMS: A COMPARATIVE STUDY -- </subfield><subfield code="t">Rewrite Rule Systems for Modal Propositional Logic -- </subfield><subfield code="t">A CHARACTERIZATION OF IRREDUCIBLE SETS MODULO LEFT-LINEAR TERM REWRITING SYSTEMS BY TREE AUTOMATA -- </subfield><subfield code="t">FUNCTIONAL DATA TEBM MODELS AND SEMANTIC UNIFICATION -- </subfield><subfield code="t">MODULAR ALGEBRAIC SPECIFICATIONS -- </subfield><subfield code="t">PROVING INDUCTIVE THEOREMS BASED ON TERM REWRITING SYSTEMS -- </subfield><subfield code="t">Jungle Evaluation for Efficient Term Rewriting -- </subfield><subfield code="t">A NEW QUASI-REDUCTIBILITY TESTING ALGORITHM AND ITS APPLICATION TO PROOFS BY INDUCTION -- </subfield><subfield code="t">FUZZY REASONING BASED ON f-HORN CLAUSE RULES -- </subfield><subfield code="t">BABEL: A Functional and Logic Programing Language based on constructor discipline and narrowing -- </subfield><subfield code="t">Refined Compilation of Pattern-Matching for Functional Languages -- </subfield><subfield code="t">NARROWING IN PARTIAL CONDITONAL EQUATIONAL THEORIES -- </subfield><subfield code="t">SOLVING EQUATIONS IN AN EQUATIONAL LANGUAGE -- </subfield><subfield code="t">NONSTANDARD LOGICS OF RECURSIVE PROGRAMS AND DENOTATIONAL SEMANTICS -- </subfield><subfield code="t">Backmatter</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">restricted access</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</subfield></datafield><datafield tag="530" ind1=" " ind2=" "><subfield code="a">Issued also in print.</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 29. Jul 2022)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">NON-CLASSIFIABLE.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Beierle, Christoph, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bergstra, J.A, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bockmayr, Alexander, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bousdira, Wadoud, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Comon, Hubert, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dahn, Bernd I., </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dayantis, George, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Drosten, K., </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ffllop, Z., </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Foret, Annie, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fribourg, Laurent, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Giovannetti, Elio, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Goltz, Hans-Joachim, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Grabowski, Jan, </subfield><subfield code="e">editor.</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hansen, Horst, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hofbauer, Dieter, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hoffmann, Berthold, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hussmarm, Heinrich, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jouannaud, Jean-Pierre, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kirchner, Claude, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kirchner, Hélène, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kucherov, G.A, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kutsche, Ralf-Detlef, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lescanne, Pierre, </subfield><subfield code="e">editor.</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Li, Deyi, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Liu, Dongbo, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Löwe, Michael, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Moreno-Navarro, Juan José, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pasztor, Ana, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pietät, Udo, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Plump, Detlef, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rodríguez-Artalejo, Mario, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schnoebelen, Ph, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Smolka, Geit, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vagvolgyi, S., </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wechler, Wolfgang, </subfield><subfield code="e">editor.</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wolter, Uwe, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">You, Jia-Huai, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</subfield><subfield code="z">9783112620250</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9783112620267</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9783112620267</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9783112620267/original</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_DGALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EEBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ESSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ESTMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_SSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_STMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA11SSHE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA12STME</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA13ENGE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA17SSHEE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA18STMEE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield></record></collection>

Algebraic and Logic Programming : : Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988 / / ed. by Jan Grabowski, Wolfgang Wechler, Pierre Lescanne.

Similar Items