Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
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...
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , , , |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
1074 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Autre collaborateur : Bernhard Möller Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Higher-order algebra, logic, and term rewriting, second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, selected papers, Gilles Dowek, Jan Heering, Karl Meinke ... [et al.] (eds.), 1996, New York, Springer, 1 vol. (287 p.), Lecture notes in computer science, 3-540-61254-8 • Higher-Order Algebra, Logic, and Term Rewriting, Texte imprimé, 9783662201862 |
Obsah:
- 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.