Term rewriting systems

Term rewriting systems

by Bezem, M., (Marc) Klop, J. W. Vrijer, Roel de

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Term rewriting systems / Terese ; [Marc Bezem, Jan Willem Klop, Roel de Vrijer, editors].

Edition Statements

  • Publication Date:2003.

Publication Statements

Notes

Mencions de responsabilitat obtinguts de la p. [V].

The Physical Object

  • Description:xxii, 884 p. : : il. ; : 24 cm

Edition Identifiers

  • ISBN:0521391156, 9780521391153
  • oclc:ocn804288096

Subjects

Màquines, Teoria de Reescriptura, Sistemes de (Informàtica)

Writers

Bezem, M., (Marc) Klop, J. W. Vrijer, Roel de

More from this Series

  • Deductive and Declarative Programming

    1992.
    more →
    Deductive and Declarative Programming

  • Deductive and Declarative Programming

    1992.
    more →
    Deductive and Declarative Programming

  • Deduction and declarative programming

    1992.
    more →
    Deduction and declarative programming

  • Deductive and Declarative Programming

    1992.
    more →
    Deductive and Declarative Programming

  • Deductive and Declarative Programming

    1992.
    more →
    Deductive and Declarative Programming

Rate & Review

0.0/5
(0 people Voted)

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

Files & Downloads

  • Term Rewriting Systems -- (.djvu)

    DJVU · 8.6 MB · updated
    Login →
Log in to request a copy