Del 463 - Lecture Notes in Computer Science

Algebraic and Logic Programming

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

Häftad, Engelska, 1990

Av Helene Kirchner, Wolfgang Wechler

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1990-09-20
Mått155 x 235 x 22 mm
Vikt604 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor389
Upplaga1990
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540531623

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it
Programmeringsböcker inom Data och it
Artificiell intelligens inom Data och it

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.

Du kanske också är intresserad av

Innovation in Urban and Regional Planning

Del 463

Innovation in Urban and Regional Planning

Alessandro Marucci, Francesco Zullo, Lorena Fiorini, Lucia Saganeiti

4 969 kr

Universal Algebra for Computer Scientists

Universal Algebra for Computer Scientists

Wolfgang Wechler

1 399 kr

Das Berliner Osteuropa-Institut

Del 463

Das Berliner Osteuropa-Institut

Ursula Stegelmann

779 kr

Advances in Computer Science for Engineering and Manufacturing

Del 463

Advances in Computer Science for Engineering and Manufacturing

Zhengbing Hu, Sergey Petoukhov, Felix Yanovsky, Matthew He

2 359 kr

Die Gesetzgebungslehre Im Bereich Des Privatrechts Bei Christian Thomasius

Del 463

Die Gesetzgebungslehre Im Bereich Des Privatrechts Bei Christian Thomasius

1 189 kr

Dynamical Chaos in Planetary Systems

Del 463

Dynamical Chaos in Planetary Systems

Ivan I. Shevchenko

2 499 kr

The Concept of Fuzziness in Automata and Language Theory

The Concept of Fuzziness in Automata and Language Theory

Wolfgang Wechler

2 849 kr

Der Diener zweier Herren. Komödie

Del 463

Der Diener zweier Herren. Komödie

119 kr

Algebraic and Logic Programming

Del 343

Algebraic and Logic Programming

Jan Grabowski, Pierre Lescanne, Wolfgang Wechler

729 kr

Julkalas, Alfons Åberg

Nyhet

Julkalas, Alfons Åberg

Gunilla Bergström

179 kr