Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001. The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
2051 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Rewriting techniques and applications, 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, proceedings, Aart Middeldorp (ed.), 2001, Berlin, Springer, 1 vol. (XII-361 p.), Lecture notes in computer science, 3-540-42117-3 • Rewriting Techniques and Applications, Texte imprimé, 9783662199954 |
| LEADER | 04489nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 949082 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15521120X | ||
| 020 | |a 9783540451273 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.131 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a International Conference on Rewriting Techniques and Applications |n (12 |d :2001 |c :Utrecht, Pays-Bas). | |
| 245 | 1 | 0 | |a Rewriting techniques and applications : |b 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings |c [edited by] Aart Middeldorp. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2051 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Invited Talks -- Computing and Proving -- Rewriting for Deduction and Verification -- Regular Papers -- Universal Interaction Systems with Only Two Agents -- General Recursion on Second Order Term Algebras -- Beta Reduction Constraints -- From Higher-Order to First-Order Rewriting -- Combining Pattern E-Unification Algorithms -- Matching Power -- Dependency Pairs for Equational Rewriting -- Termination Proofs by Context-Dependent Interpretations -- Uniform Normalisation beyond Orthogonality -- Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order -- Relating Accumulative and Non-accumulative Functional Programs -- Context Unification and Traversal Equations -- Weakly Regular Relations and Applications -- On the Parallel Complexity of Tree Automata -- Transfinite Rewriting Semantics for Term Rewriting Systems -- Goal-Directed E-Unification -- The Unification Problem for Confluent Right-Ground Term Rewriting Systems -- On Termination of Higher-Order Rewriting -- Matching with Free Function Symbols A Simple Extension of Matching? -- Deriving Focused Calculi for Transitive Relations -- A Formalised First-Order Con uence Proof for the ?-Calculus Using One-Sorted Variable Names (Barendregt Was Right after all ... almost) -- A Normal Form for Church-Rosser Language Systems -- Confluence and Termination of Simply Typed Term Rewriting Systems -- Parallel Evaluation of Interaction Nets with MPINE -- Stratego: A Language for Program Transformation Based on Rewriting Strategies System Description of Stratego 0.5. | |
| 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 constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001. The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting are addressed. | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Systèmes de réécriture (informatique) | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Middeldorp, Aart, |d 1963- |4 pbd | |
| 776 | 0 | |0 057842337 |t Rewriting techniques and applications |o 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 |o proceedings |f Aart Middeldorp (ed.) |d 2001 |c Berlin |n Springer |p 1 vol. (XII-361 p.) |s Lecture notes in computer science |z 3-540-42117-3 | |
| 776 | 0 | |t Rewriting Techniques and Applications |b Texte imprimé |z 9783662199954 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-45127-7 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-2TWRPW7X-W |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748060960 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-45127-7 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751512508 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-45127-7 |z Accès INSA CVL | |
| 997 | |0 949082 |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/ | ||