String-rewriting systems

String-rewriting systems

by Book, Ronald V.

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :String-rewriting systems / Ronald V. Book, Friedrich Otto.

Edition Statements

  • Publication Date:©1993.

Publication Statements

  • Publisher(s):Springer-Verlag
  • Place of Publication:New York
  • Language:eng
  • Publication Date:©1993.

The Physical Object

  • Description:viii, 189 pages : : illustrations ; : 25 cm.

Edition Identifiers

  • ISBN:0387979654, 9780387979656, 3540979654, 9783540979654
  • oclc:ocm26850824
  • LC Classification:QA267
  • Dewey Decimal:005.13/1

Table of Contents

6. Algebraic Protocols. 6.2. Security and Cascade Protocols. 6.3. Security and Name-Stamp Protocols -- 7. Algebraic Properties. 7.1. Finite Monoid-Presentations. 7.2. Tietze Transformations. 7.3. Some Undecidability Results. 7.4. The Free Monoid Problem. 7.5. The Group Problem.

Read More ↓

Subjects

Linguagens formais e automatos Reduktionssystem Réécriture, Systèmes de (informatique) Rewriting systems (Computer science) Systèmes de réécriture (Informatique) Wortersetzungssystem

Writers

Book, Ronald V. Otto, Friedrich

More from this Series

  • First-order logic and automated theorem proving

    1990.
    more →
    First-order logic and automated theorem proving

  • First-order logic and automated theorem proving

    ©1990.
    more →
    First-order logic and automated theorem proving

  • First-order logic and automated theorem proving

    1990.
    more →
    First-order logic and automated theorem proving

  • First-order logic and automated theorem proving

    1990.
    more →
    First-order logic and automated theorem proving

  • First-order logic and automated theorem proving

    1990
    more →
    First-order logic and automated theorem proving

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • String-Rewriting Systems -- (.pdf)

    PDF · 15.7 MB · updated
    Login →

  • String-Rewriting Systems -- (.djvu)

    DJVU · 1.9 MB · updated
    Login →

  • String-Rewriting Systems -- (.pdf)

    PDF · 7.9 MB · updated
    Login →