Rewriting Techniques and Applications: 12th International Conference, Rta 2001 Utrecht, the Netherlands, May 22-24, 2001 : Proceedings,9783540421177

Rewriting Techniques and Applications: 12th International Conference, Rta 2001 Utrecht, the Netherlands, May 22-24, 2001 : Proceedings

by ;
ISBN13: 9783540421177
ISBN10: 3540421173
Format: Paperback
Pub. Date: 2001-06-01
Publisher(s): Springer Verlag
List Price: $116.62

Rent Textbook

Select for Price
Add to Cart
There was a problem. Please try again later.

Rent Digital

Rent Digital Options
Online:30 Days access
Downloadable:30 Days
$19.80
Online:60 Days access
Downloadable:60 Days
$26.40
Online:90 Days access
Downloadable:90 Days
$33.00
Online:120 Days access
Downloadable:120 Days
$39.60
Online:180 Days access
Downloadable:180 Days
$42.90
Online:1825 Days access
Downloadable:Lifetime Access
$65.99
*To support the delivery of the digital material to you, a non-refundable digital delivery fee of $3.99 will be charged on each digital item.
$42.90*
Add to Cart

New Textbook

We're Sorry
Sold Out

Used Textbook

We're Sorry
Sold Out

Buy from our Marketplace starting at $56.82

How Marketplace Works:

  • This item is offered by an independent seller and not shipped from our warehouse
  • Item details like edition and cover design may differ from our description; see seller's comments before ordering.
  • Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
  • Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
  • Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.

Summary

Transmission electron microscopy (TEM) is now recognized as a crucial tool in materials science. This book, authored by a team of expert Chinese and international authors, covers many aspects of modern electron microscopy, from the architecture of novel electron microscopes, advanced theories and techniques in TEM and sample preparation, to a variety of hands-on examples of TEM applications. Volume II illustrates the important role that TEM is playing in the development and characterization of advanced materials, including nanostructures, interfacial structures, defects, and macromolecular complexes.

Table of Contents

Invited Talks
Computing and Proving
1(1)
Henk Barendregt
Rewriting for Deduction and Verification
2(1)
Michael Rusinowitch
Regular Papers
Universal Interaction Systems with Only Two Agents
3(12)
Denis Bechet
General Recursion on Second Order Term Algebras
15(16)
Alessandro Berarducci
Corrado Bohm
Beta Reduction Constraints
31(16)
Manuel Bodirsky
Katrin Erk
Alexander Koller
Joachim Niehren
From Higher-Order to First-Order Rewriting
47(16)
Eduardo Bonelli
Delia Kesner
Alejandro Rios
Combining Pattern E-Unification Algorithms
63(14)
Alexandre Boudet
Evelyne Contejean
Matching Power
77(16)
Horatiu Cirstea
Claude Kirchner
Luigi Liquori
Dependency Pairs for Equational Rewriting
93(15)
Jurgen Giesl
Deepak Kapur
Termination Proofs by Context-Dependent Interpretations
108(14)
Dieter Hofbouer
Uniform Normalisation beyond Orthogonality
122(15)
Zurab Khasidashvili
Mizuhito Ogawa
Vincent van Oostrom
Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order
137(17)
Konstantin Korovin
Andrei Voronkov
Relating Accumulative and Non-accumulative Functional Programs
154(15)
Armin Kuhnemann
Robert Gluck
Kazuhiko Kakehi
Context Unification and Traversal Equations
169(16)
Jordi Levy
Mateu Villaret
Weakly Regular Relations and Applications
185(16)
Sebastien Limet
Pierre Rety
Helmut Seidl
On the Parallel Complexity of Tree Automata
201(15)
Markus Lohrey
Transfinite Rewriting Semantics for Term Rewriting Systems
216(15)
Salvador Lucas
Goal-Directed E-Unification
231(15)
Christopher Lynch
Barbara Morawska
The Unification Problem for Confluent Right-Ground Term Rewriting Systems
246(15)
Michio Oyamaguchi
Yoshikatsu Ohta
On Termination of Higher-Order Rewriting
261(15)
Femke van Raamsdonk
Matching with Free Function Symbols - A Simple Extension of Matching?
276(15)
Christophe Ringeissen
Deriving Focused Calculi for Transitive Relations
291(15)
Georg Struth
A Formalised First-Order Confluence Proof for the λ-Calculus Using One-Sorted Variable Names (Barendregt Was Right after all ... almost)
306(16)
Rene Vestergaard
James Brotherston
A Normal Form for Church-Rosser Language Systems
322(16)
Jens R. Woinowski
Confluence and Termination of Simply Typed Term Rewriting Systems
338(15)
Toshiyuki Yamada
System Descriptions
Parallel Evaluation of Interaction Nets with MPINE
353(4)
Jorge Sousa Pinto
Stratego: A Language for Program Transformation Based on Rewriting Strategies (System Description of Stratego 0.5)
357(6)
Eelco Visser
Author Index 363

An electronic version of this book is available through VitalSource.

This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.

By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.

Digital License

You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.

More details can be found here.

A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.

Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.

Please view the compatibility matrix prior to purchase.