The Resource Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers, Gilles Dowek [and others] (eds.)

Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers, Gilles Dowek [and others] (eds.)

Label
Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
Title
Higher-order algebra, logic, and term rewriting
Title remainder
second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
Statement of responsibility
Gilles Dowek [and others] (eds.)
Contributor
Subject
Genre
Language
eng
Summary
"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."--PUBLISHER'S WEBSITE
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
no index present
LC call number
QA267
LC item number
.H484 1996
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1995
http://library.link/vocab/relatedWorkOrContributorName
  • Dowek, Gilles
  • International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
http://library.link/vocab/subjectName
  • Rewriting systems (Computer science)
  • Algebra
  • Logic, Symbolic and mathematical
  • lambda calcul
  • langage fonctionnel
  • logique équationnelle
  • algèbre combinatoire
  • système algébrique
  • réécriture
  • programmation en logique
  • langage programmation
  • Algèbre
  • Logique symbolique et mathématique
  • Réécriture, Systèmes de (Informatique)
  • Algebra
  • Logic, Symbolic and mathematical
  • Rewriting systems (Computer science)
  • Logica
  • Herschrijfregels
  • Algèbre
  • Réécriture, Systèmes de (informatique)
  • Logique mathématique
  • Algebraische Spezifikation
  • Kongreß
  • Termersetzungssystem
Label
Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers, Gilles Dowek [and others] (eds.)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Term graph rewriting / Jan Willem Klop -- Approximation and normalization results for typeable term rewriting systems / Steffan van Bakel and Maribel Fernández -- Modular properties of algebraic type systems / Gilles Barthe and Herman Geuvers -- Collapsing partial combinatory algebras / Inge Bethke and Jan Willem Klop -- A complete proof system for nested term graphs / Stefan Blom -- R[superscript n]− and G[superscript n]−logics / Claus Hintermeier, Hèléne Kirchner, Peter D. Mosses -- The variable containment problem / Stefan Kahrs -- Higher-order equational logic for specification, simulation and testing / Karl Meinke -- The correctness of a higher-order lazy functional language implementation : an exercise in mechanical theorem proving / Sava Mintchev and David Lester -- Assertions and recursions / Bernhard Möller -- Development closed critical pairs / Vincent van Oostrom -- Two different strong normalization proofs? / Jaco van de Pol -- Third-order matching in the polymorphic lambda calculus / Jan Springintveld -- Higher-order algebra with transdefinite types / L.J. Steggles -- Abstraction of hardware construction / Li-Guo Wang and Michael Mendler
Dimensions
24 cm.
Dimensions
unknown
Extent
287 pages
File format
unknown
Isbn
9783540612544
Lccn
96018318
Level of compression
unknown
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Quality assurance targets
unknown
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)34617715
  • (OCoLC)ocm34617715
Label
Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers, Gilles Dowek [and others] (eds.)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Term graph rewriting / Jan Willem Klop -- Approximation and normalization results for typeable term rewriting systems / Steffan van Bakel and Maribel Fernández -- Modular properties of algebraic type systems / Gilles Barthe and Herman Geuvers -- Collapsing partial combinatory algebras / Inge Bethke and Jan Willem Klop -- A complete proof system for nested term graphs / Stefan Blom -- R[superscript n]− and G[superscript n]−logics / Claus Hintermeier, Hèléne Kirchner, Peter D. Mosses -- The variable containment problem / Stefan Kahrs -- Higher-order equational logic for specification, simulation and testing / Karl Meinke -- The correctness of a higher-order lazy functional language implementation : an exercise in mechanical theorem proving / Sava Mintchev and David Lester -- Assertions and recursions / Bernhard Möller -- Development closed critical pairs / Vincent van Oostrom -- Two different strong normalization proofs? / Jaco van de Pol -- Third-order matching in the polymorphic lambda calculus / Jan Springintveld -- Higher-order algebra with transdefinite types / L.J. Steggles -- Abstraction of hardware construction / Li-Guo Wang and Michael Mendler
Dimensions
24 cm.
Dimensions
unknown
Extent
287 pages
File format
unknown
Isbn
9783540612544
Lccn
96018318
Level of compression
unknown
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Quality assurance targets
unknown
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)34617715
  • (OCoLC)ocm34617715

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...