Vor Ort
Merkzettel Warenkorb
  • Produktbild: Algebraic and Logic Programming
  • Produktbild: Algebraic and Logic Programming
Band 632

Algebraic and Logic Programming Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.08.1992

Abbildungen

IX, 460 p.

Herausgeber

Helene Kirchner + weitere

Verlag

Springer Berlin

Seitenzahl

460

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

709 g

Auflage

1992

Sprache

Englisch

ISBN

978-3-540-55873-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.08.1992

Abbildungen

IX, 460 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

460

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

709 g

Auflage

1992

Sprache

Englisch

ISBN

978-3-540-55873-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Algebraic and Logic Programming
  • Produktbild: Algebraic and Logic Programming
  • Outline of an object-oriented calculus of higher type.- High-level-replacement systems for equational algebraic specifications.- Termination of rewrite systems by elementary interpretations.- Termination of order-sorted rewriting.- Generalized sufficient conditions for modular termination of rewriting.- A theory of first-order built-in's of prolog.- Fixpoint semantics for partial computed answer substitutions and call patterns.- Oracle semantics for Prologa.- On the relation between primitive recursion, schematization, and divergence.- Term rewriting with sharing and memoïzation.- Definitional trees.- Multiparadigm logic programming.- Non-linear real constraints in constraint logic programming.- A general scheme for constraint functional logic programming.- Incremental rewriting in narrowing derivations.- Counterexamples to completeness results for basic narrowing (extended abstract).- Uniform narrowing strategies.- Proof by consistency in constructive systems with final algebra semantics.- A fast algorithm for ground normal form analysis.- Eta-conversion for the languages of explicit substitutions.- Serialisation analysis of concurrent logic programs.- Implementation of a toolset for prototyping algebraic specifications of concurrent systems.- Axiomatizing permutation equivalence in the ?-calculus.- A CLP view of logic programming.- Partial deduction of logic programs WRT well-founded semantics.- The finiteness of logic programming derivations.- Theorem proving for hierarchic first-order theories.- A goal oriented strategy based on completion.- On n-syntactic equational theories.