Del 1074 - Lecture Notes in Computer Science

Higher-Order Algebra, Logic, and Term Rewriting

Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Häftad, Engelska, 1996

Av Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller

709 kr

Beställningsvara. Skickas inom 10-15 vardagar

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

This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed.

Produktinformation

Utgivningsdatum1996-05-08
Mått155 x 235 x 17 mm
Vikt464 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor296
Upplaga1996
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540612544

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programmeringsböcker inom Data och it
Matematikens grunder inom Naturvetenskap och teknik

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.