Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 14.09.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher, nicht preisgebundene Bücher und Kalender in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
  • Produktbild: Higher-Order Algebra, Logic, and Term Rewriting
  • Produktbild: Higher-Order Algebra, Logic, and Term Rewriting
Band 1074

Higher-Order Algebra, Logic, and Term Rewriting Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.05.1996

Abbildungen

VIII, 296 p.

Herausgeber

Gilles Dowek + weitere

Verlag

Springer Berlin

Seitenzahl

296

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

464 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61254-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.05.1996

Abbildungen

VIII, 296 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

296

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

464 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61254-4

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: Higher-Order Algebra, Logic, and Term Rewriting
  • Produktbild: Higher-Order Algebra, Logic, and Term Rewriting
  • Term graph rewriting.- Approximation and normalization results for typeable term rewriting systems.- Modular properties of algebraic type systems.- Collapsing partial combinatory algebras.- A complete proof system for Nested Term Graphs.- R n - and G n -logics.- The variable containment problem.- Higher-order equational logic for specification, simulation and testing.- The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving.- Assertions and recursions.- Development closed critical pairs.- Two different strong normalization proofs?.- Third-order matching in the polymorphic lambda calculus.- Higher-order algebra with transfinite types.- Abstraction of hardware construction.