Towards A Proof Theory Of Rewriting
Download Towards A Proof Theory Of Rewriting full books in PDF, epub, and Kindle. Read online free Towards A Proof Theory Of Rewriting ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Author | : Barnaby P. Hilken |
Publisher | : |
Total Pages | : 34 |
Release | : 1994 |
Genre | : Proof theory |
ISBN | : |
Abstract: "This paper describes the simply-typed 2-[lambda]- calculus, a language with three levels: types, terms and rewrites. The types and terms are those of the simply-typed [lambda]-calculus, and the rewrites are expressions denoting sequences of [beta]-reductions and [eta]- expansions. An equational theory is imposed on the rewrites, based on 2- categorical justifications, and the word problem for this theory is solved by finding a canonical expression in each equivalence class. The canonical form of rewrites allows us to prove several properties of the calculus, including a strong form of confluence and a classification of the long-[beta]-[eta]-normal forms in terms of their rewrites. Finally we use these properties as the basic definitions of a theory of categorical rewriting, and find that the expected relationships between confluence, strong normalisation and normal forms hold."
Author | : Sophie Tison |
Publisher | : Springer |
Total Pages | : 397 |
Release | : 2003-08-02 |
Genre | : Computers |
ISBN | : 3540456104 |
This book constitutes the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, Denmark, in July 2002. The 20 regular papers, two application papers, and four system descriptions presented together with three invited contributions were carefully reviewed and selected from 49 submissions. All current aspects of rewriting are addressed.
Author | : Vincent van Oostrom |
Publisher | : Springer Science & Business Media |
Total Pages | : 322 |
Release | : 2004-05-24 |
Genre | : Mathematics |
ISBN | : 3540221530 |
This book constitutes the refereed proceedings of the 15th International Conference on Rewriting Techniques and Applications, RTA 2004, held in Aachen, Germany in June 2004.
Author | : Enno Ohlebusch |
Publisher | : Springer Science & Business Media |
Total Pages | : 420 |
Release | : 2013-04-17 |
Genre | : Computers |
ISBN | : 1475736614 |
Unlike current survey articles and textbooks, here the so-called confluence and termination hierarchies play a key role. Throughout, the relationships between the properties in the hierarchies are reviewed, and it is shown that for every implication X => Y in the hierarchies, the property X is undecidable for all term rewriting systems satisfying Y. Topics covered include: the newest techniques for proving termination of rewrite systems; a comprehensive chapter on conditional term rewriting systems; a state-of-the-art survey of modularity in term rewriting, and a uniform framework for term and graph rewriting, as well as the first result on conditional graph rewriting.
Author | : Harald Ganzinger |
Publisher | : Springer Science & Business Media |
Total Pages | : 456 |
Release | : 1996-07 |
Genre | : Computers |
ISBN | : 9783540614647 |
This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996. The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six system descriptions and abstracts of three invited papers. The topics covered include analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, symbolic and algebraic computation, and efficient implementation of rewriting on sequential and parallel machines.
Author | : Aart Middeldorp |
Publisher | : Springer |
Total Pages | : 373 |
Release | : 2003-06-29 |
Genre | : Computers |
ISBN | : 3540451277 |
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.
Author | : Jean-Pierre Jouannaud |
Publisher | : |
Total Pages | : 216 |
Release | : 1987 |
Genre | : Computers |
ISBN | : 9780123909602 |
The theory and practice of term rewriting is now well-established and the focus of growing interest in the world of computer science. This book brings together a collection of original research contributions and surveys of existing knowledge. Some of the most significant developments in term rewriting theory are reviewed, as well as a history of the most important discovery in the field, namely the notion of a critical pair and its natural consequence, the completion algorithm. Many of the new ideas developed have important applications in other fields of theoretical computing. Therefore, this book should be of interest to researchers from areas such as logic programming, computer algebra, and functional programming.
Author | : Jürgen Dassow |
Publisher | : Walter de Gruyter GmbH & Co KG |
Total Pages | : 308 |
Release | : 1990-01-14 |
Genre | : Computers |
ISBN | : 3112737873 |
No detailed description available for "Regulated Rewriting in Formal Language Theory".
Author | : Pierre Lescanne |
Publisher | : Lecture Notes in Computer Science |
Total Pages | : 296 |
Release | : 1987-05-14 |
Genre | : Computers |
ISBN | : |
Second International Conference on Rewriting Techniques and Applications
Author | : Hubert Comon-Lundh |
Publisher | : Springer Science & Business Media |
Total Pages | : 287 |
Release | : 2007-06-22 |
Genre | : Computers |
ISBN | : 3540731466 |
Jean-Pierre Jouannaud has played a leading role in the field of rewriting and its technology. This Festschrift volume, published to honor him on his 60th Birthday, includes 13 refereed papers by leading researchers, current and former colleagues. The papers are grouped in thematic sections on Rewriting Foundations, Proof and Computation, and a final section entitled Towards Safety and Security.