The rewriting calculus --- Part II Export

@article{citeulike:352556, abstract = {The rho-calculus integrates in a uniform and simple setting first-order rewriting, rho-calculus and nondeterministic computations. Its abstraction mechanism is based on the rewrite rule formation and its main evaluation rule is based on matching modulo a theory T . We have seen in the first part of this work the motivations, definitions and basic properties of the rho-calculus. This second part is first devoted to the use of the rho-calculus for encoding a (conditional) rewrite relation. To this end we...}, author = {Cirstea, Horatiu and Kirchner, Claude}, citeulike-article-id = {352556}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.9303}, keywords = {algebra, automata, computation, languages, logic, mathematics, printed}, posted-at = {2007-05-02 08:21:47}, priority = {3}, title = {The rewriting calculus --- Part II}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.9303}, year = {2001} }

TY - JOUR ID - citeulike:352556 L3 - citeulike-article-id:352556 N2 - The rho-calculus integrates in a uniform and simple setting first-order rewriting, rho-calculus and nondeterministic computations. Its abstraction mechanism is based on the rewrite rule formation and its main evaluation rule is based on matching modulo a theory T . We have seen in the first part of this work the motivations, definitions and basic properties of the rho-calculus. This second part is first devoted to the use of the rho-calculus for encoding a (conditional) rewrite relation. To this end we... TI - The rewriting calculus --- Part II KW - algebra KW - automata KW - computation KW - languages KW - logic KW - mathematics KW - printed AU - Cirstea, Horatiu AU - Kirchner, Claude PY - 2001/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.9303 ER -