default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/alp/alp88.bht:"
download as .bib file
@inproceedings{DBLP:conf/alp/BeierleP88,
author = {Christoph Beierle and
Udo Pletat},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Integrating Logic Programming and Equational Specification of Abstract
Data Types},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {71--82},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_59},
doi = {10.1007/3-540-50667-5\_59},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/alp/BeierleP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Bergstra88,
author = {Jan A. Bergstra},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {{ACP} with Signals},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {11--20},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_53},
doi = {10.1007/3-540-50667-5\_53},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Bergstra88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Bockmayr88,
author = {Alexander Bockmayr},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Narrowing with Built-In Theories},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {83--92},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_60},
doi = {10.1007/3-540-50667-5\_60},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alp/Bockmayr88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Bousdira88,
author = {Wadoud Bousdira},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {A Completion Procedure for Hierarchical Conditional Rewriting Systems},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {93--107},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_61},
doi = {10.1007/3-540-50667-5\_61},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Bousdira88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Comon88,
author = {Hubert Comon},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {An Effective Method for Handling Initial Algebras},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {108--118},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_62},
doi = {10.1007/3-540-50667-5\_62},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Comon88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Dahn88,
author = {Bernd I. Dahn},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Boolean Valued Models and Incomplete Specifications},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {119--126},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_63},
doi = {10.1007/3-540-50667-5\_63},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Dahn88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Dayantis88,
author = {George Dayantis},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Types, Modularisation and Abstraction in Logic Programming},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {127--136},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_64},
doi = {10.1007/3-540-50667-5\_64},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Dayantis88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Drosten88,
author = {Klaus Drosten},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Translating Algebraic Specifications to Prolog Programs: {A} Comparative
Study},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {137--146},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_65},
doi = {10.1007/3-540-50667-5\_65},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Drosten88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Foret88,
author = {Annie Foret},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Rewrite Rule Systems for Modal Propositional Logic},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {147--156},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_66},
doi = {10.1007/3-540-50667-5\_66},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Foret88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Fribourg88,
author = {Laurent Fribourg},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Functional Extensions to Prolog: Are they Needed?},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {21--29},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_54},
doi = {10.1007/3-540-50667-5\_54},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Fribourg88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/FulopV88,
author = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and
S{\'{a}}ndor V{\'{a}}gv{\"{o}}lgyi},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {A Characterization of Irreducible Sets Modulo Left-Linear Term Rewriting
Systems by Tree Automata},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {157},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_67},
doi = {10.1007/3-540-50667-5\_67},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/FulopV88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Giovannetti88,
author = {Elio Giovannetti},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Narrowing and Resolution in Logic-Functional programming Languages
(Abstract)},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {30},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_55},
doi = {10.1007/3-540-50667-5\_55},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Giovannetti88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Goltz88,
author = {Hans{-}Joachim Goltz},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Functional Data Term Models and Semantic Unification},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {158--167},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_68},
doi = {10.1007/3-540-50667-5\_68},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Goltz88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/HansenL88,
author = {Horst Hansen and
Michael L{\"{o}}we},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Modular Algebraic Specifications},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {168--179},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_69},
doi = {10.1007/3-540-50667-5\_69},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/HansenL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/HofbauerK88,
author = {Dieter Hofbauer and
Ralf{-}Detlef Kutsche},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Proving Inductive Theorems Based on Term Rewriting Systems},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {180--190},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_70},
doi = {10.1007/3-540-50667-5\_70},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/HofbauerK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/HoffmannP88,
author = {Berthold Hoffmann and
Detlef Plump},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Jungle Evaluation for Efficient Term Rewriting},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {191--203},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_71},
doi = {10.1007/3-540-50667-5\_71},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/HoffmannP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Hussmann88,
author = {Heinrich Hu{\ss}mann},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {31--40},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_56},
doi = {10.1007/3-540-50667-5\_56},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Hussmann88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/JouannaudKKM88,
author = {Jean{-}Pierre Jouannaud and
Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner and
Aristide M{\'{e}}grelis},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {{OBJ:} Programming with Equalities, Subsorts, Overloading and Parameterization},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {41--52},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_57},
doi = {10.1007/3-540-50667-5\_57},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/JouannaudKKM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Kucherov88,
author = {Gregory Kucherov},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {A New Quasi-Reducibility Testing Algorithm and its Application to
Proofs by Induction},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {204--213},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_72},
doi = {10.1007/3-540-50667-5\_72},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alp/Kucherov88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/LiuL88,
author = {Dongbo Liu and
Deyi Li},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Fuzzy Reasoning Based on F-Horn Clause Rules},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {214--222},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_73},
doi = {10.1007/3-540-50667-5\_73},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/LiuL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Moreno-NavarroR88,
author = {Juan Jos{\'{e}} Moreno{-}Navarro and
Mario Rodr{\'{\i}}guez{-}Artalejo},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {{BABEL:} {A} Functional and Logic Programming Language based on Constructor
Discipline and Narrowing},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {223--232},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_74},
doi = {10.1007/3-540-50667-5\_74},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Moreno-NavarroR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Pasztor88,
author = {Ana Pasztor},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Nonstandard Logics of Recursive Programs and Denotational Semantics},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {255--278},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_78},
doi = {10.1007/3-540-50667-5\_78},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Pasztor88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Schnoebelen88,
author = {Philippe Schnoebelen},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Refined Compilation of Pattern-Matching for Functional Languages},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {233--243},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_75},
doi = {10.1007/3-540-50667-5\_75},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Schnoebelen88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Smolka88,
author = {Gert Smolka},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Logic Programming with Polymorphically Order-Sorted Types},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {53--70},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_58},
doi = {10.1007/3-540-50667-5\_58},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Smolka88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Wolter88,
author = {Uwe Wolter},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Narrowing in Partial Conditional Equational Theories (Abstract)},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {244},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_76},
doi = {10.1007/3-540-50667-5\_76},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Wolter88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/You88,
author = {Jia{-}Huai You},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Solving Equations in an Equational Language},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {245--254},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_77},
doi = {10.1007/3-540-50667-5\_77},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/You88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alp/1988,
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5},
doi = {10.1007/3-540-50667-5},
isbn = {3-540-50667-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/1988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-12-28 21:19 CET from data curated 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:
