Vor Ort
Merkzettel Warenkorb
  • Produktbild: Higher-Order Algebra, Logic, and Term Rewriting
  • Produktbild: Higher-Order Algebra, Logic, and Term Rewriting
Band 816

Higher-Order Algebra, Logic, and Term Rewriting First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.07.1994

Abbildungen

IX, 351 p.

Herausgeber

Jan Heering + weitere

Verlag

Springer Berlin

Seitenzahl

351

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

546 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-58233-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.07.1994

Abbildungen

IX, 351 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

351

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

546 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-58233-5

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: Higher-Order Algebra, Logic, and Term Rewriting
  • Produktbild: Higher-Order Algebra, Logic, and Term Rewriting
  • Interaction systems.- Strong normalization of typeable rewrite systems.- A transformation system combining partial evaluation with term rewriting.- Prototyping relational specifications using higher-order objects.- Origin tracking for higher-order term rewriting systems.- Theory interpretation in simple type theory.- The semantics of SPECTRUM.- ATLAS: A typed language for algebraic specification.- Compilation of Combinatory Reduction Systems.- Specification and verification in higher order algebra: A case study of convolution.- Ordered and continuous models of higher-order specifications.- Rewriting properties of combinators for rudimentary linear logic.- Comparing combinatory reduction systems and higher-order rewrite systems.- Termination proofs for higher-order rewrite systems.- Extensions of initial models and their second-order proof systems.