Term Rewriting : French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993 Advanced Course, edited by Hubert Comon, Jean-Pierre Jounnaud

Resource Information

The instance Term Rewriting : French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993 Advanced Course, edited by Hubert Comon, Jean-Pierre Jounnaud represents a material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Instance, Electronic.

Image

http://images.btol.com/ContentCafe/Jacket.aspx?UserID=ebsco-test&Password=ebsco-test&Return=T&Value=9783540593409&Type=L

Label

Term Rewriting : French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993 Advanced Course, edited by Hubert Comon, Jean-Pierre Jounnaud

Title remainder

French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993 Advanced Course

Statement of responsibility

edited by Hubert Comon, Jean-Pierre Jounnaud

Instantiates

• Term Rewriting : French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993 Advanced Course

Publication

• Berlin, Heidelberg, Springer-Verlag, 1995

Antecedent source

mixed

Carrier category

online resource

Carrier category code

• cr

Carrier MARC source

rdacarrier

Color

not applicable

Content category

text

Content type code

• txt

Content type MARC source

rdacontent

Contents

To rewriting -- 33 Examples of termination -- The word problem for Thue rewriting systems -- Word problem for Thue systems with a few relations -- Some extensions of rewriting -- Graph rewriting: A bibliographical guide -- Formal languages & word-rewriting -- Rewriting and tree automata -- On efficient reduction algorithms for some trace rewriting systems -- Automatic groups and string rewriting -- A survey of symmetrized and complete group presentations -- Normalized rewriting -- Application to ground completion and standard bases -- Equational reasoning with 2-dimensional diagrams -- Affine geometry of collinearity and conditional term rewriting -- Burnside monoids word problem and the conjecture of Brzozowski

Control code

827360256

Dimensions

unknown

Extent

1 online resource

File format

multiple file formats

Form of item

online

Isbn

9783540593409

Level of compression

uncompressed

Media category

computer

Media MARC source

rdamedia

Media type code

• c

Other control number

10.1007/3-540-59340-3

Other physical details

volumes: digital.

Quality assurance targets

absent

Record ID

.b130113669

Reformatting quality

access

Specific material designation

remote

System control number

(OCoLC)827360256