{"product_id":"algebraic-and-logic-programming-second-international-conference-nancy-france-october-1-3-1990-proceedings-von-helene-kirchner-wolfgang-wechler-hrsg","title":"Algebraic and Logic Programming","description":"\u003cp\u003eProving 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540531623\"\u003e\u003ch3\u003eSecond International Conference, Nancy, France, October 1-3, 1990. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540531623","offer_id":39436250546269,"sku":"9783540531623","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/e5485549-b407-4a6c-86e9-60f9f5d21d2b.jpg?v=1773552659","url":"https:\/\/shop.autorenwelt.de\/products\/algebraic-and-logic-programming-second-international-conference-nancy-france-october-1-3-1990-proceedings-von-helene-kirchner-wolfgang-wechler-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}