Wechler / Kirchner | Algebraic and Logic Programming | Buch | 978-3-540-53162-3 | sack.de

Buch, Englisch, Band 463, 389 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1230 g

Reihe: Lecture Notes in Computer Science

Wechler / Kirchner

Algebraic and Logic Programming

Second International Conference, Nancy, France, October 1-3, 1990. Proceedings
1990
ISBN: 978-3-540-53162-3
Verlag: Springer Berlin Heidelberg

Second International Conference, Nancy, France, October 1-3, 1990. Proceedings

Buch, Englisch, Band 463, 389 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1230 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-53162-3
Verlag: Springer Berlin Heidelberg


Springer Book Archives

Wechler / Kirchner Algebraic and Logic Programming jetzt bestellen!

Zielgruppe


Research

Weitere Infos & Material


Proving and rewriting.- Proving correctness w.r.t. specifications with hidden parts.- Hybrid implementations of algebraic specifications.- Multi-modal logic programming using equational and order-sorted logic.- Logic programs with equational type specifications.- Higher-order order-sorted algebras.- Axiomatization of a functional logic language.- Fourier algorithm revisited.- Fixpoint techniques for non-monotone maps.- Domain theory for nonmonotonic functions.- On the strong completion of logic programs.- An equivalence preserving first order unfold/fold transformation system.- Propositional calculus problems in CHIP.- Unfolding and fixpoint semantics of concurrent constraint logic programs.- Eliminating negation from normal logic programs.- On logic programming interpretations of Dislog: Programming long-distance dependencies in logic.- Recursive query processing in predicate-goal graph.- Implementation of completion by transition rules + control: ORME.- A matching process modulo a theory of categorical products.- Equation solving in conditional AC-theories.- Lazy narrowing in a graph machine.- An abstract concurrent machine for rewriting.- Applying term rewriting methods to finite groups.- Termination proofs by multiset path orderings imply primitive recursive derivation lengths.- Optimization of rewriting and complexity of rewriting.- AC-Termination of rewrite systems: A modified Knuth-Bendix ordering.



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.