Eriksson / Schroeder-Heister / Hallnäs | Extensions of Logic Programming | Buch | 978-3-540-55498-1 | sack.de

Buch, Englisch, Band 596, 376 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1190 g

Reihe: Lecture Notes in Computer Science

Eriksson / Schroeder-Heister / Hallnäs

Extensions of Logic Programming

Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings
1992
ISBN: 978-3-540-55498-1
Verlag: Springer Berlin Heidelberg

Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings

Buch, Englisch, Band 596, 376 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1190 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-55498-1
Verlag: Springer Berlin Heidelberg

This volume contains papers presented at the second
international workshop on extensions of logic programming,
which was held at the Swedish Institute of Computer Science,
Stockhom, January 27-29, 1991.
The 12 papers describe and discuss several approaches to
extensions of logic programming languages such as PROLOG, as
well as connections between logic programming and functional
programming, theoretical foundations of extensions,
applications, and programming methodologies.
The first workshop in this series was held in T}bingen in
1989 and its proceedings areavailable as LNCS 475. The
third workshop will be held in Bologna in 1992.

Eriksson / Schroeder-Heister / Hallnäs Extensions of Logic Programming jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Eriksson, Lars-Henrik
Schroeder-Heister, Peter
Hallnäs, Lars

Fachgebiete

Weitere Infos & Material

Methodology and programming techniques in GCLA II.- Extended logic-plus-functional Programming.- Open logic theories.- A finitary version of the calculus of partial inductive definitions.- A logic programming approach to implementing higher-Order term rewriting.- An overview of the Andorra Kernel Language.- Logical and computational invariants of programs.- Implementing ?-calculus reduction strategies in extended logic programming languages.- Terminological reasoning and partial inductive definitions.- GCLA II A definitional approach to control.- Natural semantics and some of its meta-theory in Elf.- The near-Horn approach to disjunctive logic programming.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.