Advanced Topics in Term Rewriting

Advanced Topics in Term Rewriting
Wordware Publishing, Inc.
Проектирование ПО
Искать в интернет библиотекахКупить


Term rewriting techniques are applicable to various fields of computer science, including software engineering, programming languages, computer algebra, program verification, automated theorem proving and Boolean algebra. These powerful techniques can besuccessfully applied in all areas that demand efficient methods for reasoning with equations. One of the major problems encountered is the characterization of classes of rewrite systems that have a desirable property, like confluence or termination. In a system that is both terminating and confluent, every computation leads to a result that is unique, regardless of the order in which the rewrite rules are applied. This new text/reference provides a comprehensive and unified presentation of termination and confluence, as well as related properties. Topics and features: * Unified presentation and notation for important advanced topics * Comprehensive coverage of conditional term-rewriting systems * State-of-the-art...

Похожие книги

Paediatrics at a GlancePaediatrics at a Glance
Автор: Lawrence Miall
Год: 2007
Analysis IAnalysis I
Автор: Herbert Amann, Joachim Escher, Gary Brookfield
Год: 2005
Writing for computer scienceWriting for computer science
Автор: Zobel J.
Год: 1997
Microsoft PowerPoint 2007 BibleMicrosoft PowerPoint 2007 Bible
Автор: Wempen F.
Год: 2007
Encyclopedia of Nonlinear ScienceEncyclopedia of Nonlinear Science
Автор: Alwyn Scott
Год: 2004