Vor Ort
Merkzettel Warenkorb
  • Produktbild: Constraints in Computational Logics
  • Produktbild: Constraints in Computational Logics
Band 845

Constraints in Computational Logics First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.08.1994

Abbildungen

IX, 371 p.

Herausgeber

Jean-Pierre Jouannaud

Verlag

Springer Berlin

Seitenzahl

371

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

587 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-58403-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.08.1994

Abbildungen

IX, 371 p.

Herausgeber

Jean-Pierre Jouannaud

Verlag

Springer Berlin

Seitenzahl

371

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

587 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-58403-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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: Constraints in Computational Logics
  • Produktbild: Constraints in Computational Logics
  • Automated deduction with constraints.- Local simplification.- Simplifying clausal satisfiability problems.- Ordered Binary Decision Diagrams and the Davis-Putnam procedure.- A foundation for higher-order concurrent constraint programming.- Constraints for polymorphic behaviours of concurrent ML.- A confluent relational calculus for higher-order programming with constraints.- Modular AC unification of higher-order patterns.- Higher order disunification: Some decidable cases.- “Syntactic” AC-unification.- Applications of constraint logic programming.- Repeated redundant inequalities in constraint logic programming.- An efficient algorithm of logic programming with constraint hierarchy.- Application of constraint logic programming for VLSI CAD tools.- Path consistency in clp(FD).- Symbolic constraints and tree automata.- A record calculus with principal types.- ECOLOG: an Environment for constraint logics.- On modularity in term rewriting and narrowing.- Higher order conditional rewriting and narrowing.- Buchberger's algorithm: A constraint-based completion procedure.- Set constraints and logic programming.- Set constraints in some equational theories.- How to win a game with features.- Some new decidability results on positive and negative set constraints.- Solving simplification ordering constraints.