Copied Rewriting Techniques and Applications
Rewriting Techniques and Applications
This volume contains the proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA-91), held in Como, Italy, April 10-12, 1991. The volume includes 40 papers on a wide variety of topics including: term rewriting systems, equational unification, algebraic rewriting, termination proofs, generalization problems, undecidable properties, parametrized specifications, normalizing systems, program transformation, query optimization, tree languages, graph languages, theorem proving systems, completion, graph rewriting systems, and open problems. ... Show More Show Less
Price Comparison
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
A Pathway to Safe, Smart, and Resilient Road and Mobility Networks
$279.99
What's New? The Zoo!
$6.71
Knowing and Learning as Creative Action: A Reexamination of the Epistemological Foundations of Educa
$54.99
The Action Bible: God's Redemptive Story by Sergio Cariello
$32.99
Evolution und Leid als Herausforderung fr den Glauben
$34.99
Cardiovascular OCT Imaging
$119.00
Finite-Spectrum Assignment for Time-Delay Systems
$54.99
Transforming Teacher Education Through the Epistemic Core of Chemistry
$54.99
The Court of the European Communities: New Dimension in International Adjudication
$54.99
Data-driven Modelling of Structured Populations
$59.99
Praktische Metallkunde
$59.99
Baboon Perspectives on Early Human Ancestors
$84.99
Application of Demilitarized Gun and Rocket Propellants in Commercial Explosives
$169.99
Argumentationsstrategien chinesischer Deutschlerner/-innen
$49.99
Selected Works of C.C. Heyde
$129.00
An Inductive Approach to Engineering Thermodynamics
$89.00
Produktion und Absatz
$19.99
Leadership & Management
$59.99
The Complete Color Harmony: Pantone Edition
$22.09
MHC Ligands and Peptide Motifs
$84.99
System Level Design of Reconfigurable Systems-on-Chip
$109.99
Out Of the Wild Night (Hardcover)
$13.49
The Politics of Hollywood Cinema
$54.99
Arthropod Diversity and Conservation in the Tropics and Sub-tropics
$169.99
Arbeitswelten der Zukunft
$64.99
Systematisierung der Investitionsplanung fr Industrieunternehmen
$59.99
Partizipative Forschung in der Sozialen Arbeit
$69.99
Epiduralansthesie bei Kindern und lteren Patienten
$69.99
Classic Goosebumps: Monster Blood (#3)
$5.99
Liberal Government and Politics, 1905-15
$39.99
ber die Magnetonenzahlen ferromagnetischer Stoffe
$54.99
Innovation and Capacity Building
$84.99
Fnf Jahrtausende Radfahrzeuge
$34.99
Selbsterfllende Prophezeiungen in der Schule
$44.99
Abschied vom Management
$49.99
Flexible Robot Dynamics and Controls
$169.99
Signal Processing Applications Using Multidimensional Polynomial Splines
$54.99
Publishing in the First World War
$39.99
Dynamics of Complex Autonomous Boolean Networks
$109.99
Exploring the Raspberry Pi 2 with C++
$44.99
