Rewriting Techniques and Applications [electronic resource]
User Rating: Be the first one!
Author: Narendran, Paliath, Rusinowitch, M. (Michael)
Added by: sketch
Added Date: 2015-12-30
Language: eng
Subjects: Rewriting systems (Computer science), Computer programming, Algorithms
Publishers: Berlin ; London : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540662014, 9783540662013
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 196.08 MB
PDF Size: 5.96 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Edition: [Elektronische Ressource]
Downloads: 243
Views: 293
Total Files: 18
Media Type: texts
Total Files: 5
TORRENT
springer 10 1007 3 540 48685 2 archive t...torrent
Last Modified: 2022-03-09 10:26:09
Download
Size: 11.78 KB
Description
Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings
Author: Paliath Narendran, Michael Rusinowitch
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-66201-3
DOI: 10.1007/3-540-48685-2
Table of Contents:
Mode of access: World Wide Web
Electronic reproduction
Author: Paliath Narendran, Michael Rusinowitch
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-66201-3
DOI: 10.1007/3-540-48685-2
Table of Contents:
- Solved Forms for Path Ordering Constraints
- Jeopardy
- Strategic Pattern Matching
- On the Strong Normalization of Natural Deduction with Permutation-Conversions
- Normalisation in Weakly Orthogonal Rewriting
- Strong Normalization of Proof Nets Modulo Structural Congruences
- Hierarchical Graph Decompositions Defined by Grammars and Logical Formulas
- Undecidability of the
- Deciding the Satisfiability of Quantifier Free Formulae on One-Step Rewriting
- A New Result about the Decidability of the Existential One-Step Rewriting Theory
- A Fully Syntactic AC-RPO
- Theory Path Orderings
- A Characterisation of Multiply Recursive Functions with Higman’s Lemma
- Deciding the Word Problem in the Union of Equational Theories Sharing Constructors
- Normalization via Rewrite Closures
- Test Sets for the Universal and Existential Closure of Regular Tree Languages
- Higher-Order Rewriting
- The Maude System
- TOY: A Multiparadigm Declarative System
- UniMoK: A System for Combining Equational Unification Algorithms
Mode of access: World Wide Web
Electronic reproduction
You May Also Like
We will be happy to hear your thoughts