Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 Proceedings, edited by Nachum Dershowitz, Naomi Lindenstrauss

Resource Information

The instance Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 Proceedings, edited by Nachum Dershowitz, Naomi Lindenstrauss 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=9783540455134&Type=L

Label

Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 Proceedings, edited by Nachum Dershowitz, Naomi Lindenstrauss

Title remainder

4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 Proceedings

Statement of responsibility

edited by Nachum Dershowitz, Naomi Lindenstrauss

Instantiates

• Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 Proceedings

Publication

• Berlin, Heidelberg, Springer-Verlag, 1995

Antecedent source

mixed

Bibliography note

Includes bibliographical references and index

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

Associative-commutative superposition -- A calculus for rippling -- Equation solving in geometrical theories -- LSE narrowing for decreasing conditional term rewrite systems -- Preserving confluence for rewrite systems with built-in operations -- Hierarchical termination -- Well-foundedness of term orderings -- A new characterisation of AC-termination and application -- Relative normalization in orthogonal expression reduction systems -- On termination and confluence of conditional rewrite systems -- How to transform canonical decreasing CTRSs into equivalent canonical TRSs -- Termination for restricted derivations and conditional rewrite systems -- Rewriting for preorder relations -- Strong sequentiality of left-linear overlapping rewrite systems -- A conflict between call-by-need computation and parallelism -- The complexity of testing ground reducibility for linear word rewriting systems with variables -- Coherence for cartesian closed categories: A sequential approach -- Modular properties of constructor-sharing conditional term rewriting systems -- Church-Rosser property and unique normal form property of non-duplicating term rewriting systems -- The transformation of term rewriting systems based on well-formedness preserving mappings -- Abstract notions and inference systems for proofs by mathematical induction

Control code

827358571

Dimensions

unknown

Extent

1 online resource

File format

multiple file formats

Form of item

online

Isbn

9783540455134

Level of compression

uncompressed

Media category

computer

Media MARC source

rdamedia

Media type code

• c

Other control number

10.1007/3-540-60381-6

Other physical details

volumes: digital.

Quality assurance targets

absent

Record ID

.b13011229x

Reformatting quality

access

Specific material designation

remote

System control number

(OCoLC)827358571