Free Shipping Over $89 - Limited Time Only - T&C's Apply
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $89
Rewriting Techniques : Resolution of Equations in Algebraic Structures - Hassan Aït-Kaci

Rewriting Techniques

Resolution of Equations in Algebraic Structures

By: Hassan Aït-Kaci (Editor), Maurice Nivat (Editor)

eText | 10 May 2014 | Edition Number 1

At a Glance

eText

$89.10

or 4 interest-free payments of $22.27 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.
Resolution of Equations in Algebraic Structures: Volume 2, Rewriting Techniques is a collection of papers dealing with the construction of canonical rewrite systems, constraint handling in logic programming, and completion algorithms for conditional rewriting systems. Papers discuss the Knuth-Bendix completion method which constructs a complete system for a given set of equations, including extensions of the method dealing with termination, unfailing completion, and associative-communicative completion. One paper examines the various practical techniques that can be used to extend Prolog as a constraint solver, particularly on techniques that solve boolean equations, imposing inequality, disequality, and finitary domain constraints on variables. Another paper presents a sufficient condition for confluence of conditional rewriting, and a practical unification algorithm modulo conditional rewriting through the notion of conditional narrowing. One paper analyzes the possibility of using completion for inductive proofs in the initial algebra of an equational variety without explicit induction. Another papers discusses solving systems of word equations in the free monoid and the free group, where a solution is defined as a word homomorphism. Programmers, mathematicians, students, and instructors involved in computer science and computer logic will find this collection valuable.
on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionMathematicsAlgebra

More in Algebra

Learn Calculus with Python - Nick McIntyre

eBOOK

Learn Calculus with Python

eBook

RRP $61.72

$49.99

19%
OFF
Interactive Linear Algebra - Conrad Plaut

eTEXT

Interactive Linear Algebra

eText

$118.80

Coclass graphs of p-groups - Heiko Dietrich

eTEXT

Coclass graphs of p-groups

eText

$229.00

This product is categorised by