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...
Shranjeno v:
| Korporativna značnica: | |
|---|---|
| Drugi avtorji: | , , , |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in computer science
1074 |
| Teme: | |
| Online dostop: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Sporočilo: |
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 |
| LEADER | 04017nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 944052 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155173170 | ||
| 020 | |a 9783540683896 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Workshop on Higher-Order Algebra, Logic, and Term Rewriting |n (02 |d :1995 |c :Paderborn, Allemagne). | |
| 245 | 1 | 0 | |a Higher-order algebra, logic, and term rewriting : |b second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers |c [edited by] Gilles Dowek, Jan Heering, Karl Meinke... [et al.]. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1074 |x 1611-3349 | |
| 500 | |a Autre collaborateur : Bernhard Möller | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Systèmes de réécriture (informatique) | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Algèbre | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Dowek, Gilles, |d 1966-2025, |c informaticien et logicien. |4 pbd | |
| 700 | 1 | |a Heering, Jan. |4 pbd | |
| 700 | 1 | |a Meinke, Karl, |d 1961- |4 pbd | |
| 700 | 1 | |a Möller, Bernhard, |d 1953- |4 pbd | |
| 776 | 0 | |0 025338226 |t Higher-order algebra, logic, and term rewriting |o second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 |o selected papers |f Gilles Dowek, Jan Heering, Karl Meinke ... [et al.] (eds.) |d 1996 |c New York |n Springer |p 1 vol. (287 p.) |s Lecture notes in computer science |z 3-540-61254-8 | |
| 776 | 0 | |t Higher-Order Algebra, Logic, and Term Rewriting |b Texte imprimé |z 9783662201862 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-61254-8 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-QHWMQKCQ-J |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747923205 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-61254-8 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750935499 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-61254-8 |z Accès INSA CVL | |
| 997 | |0 944052 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||