Term Rewriting Systems by “Terese” (Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds.), Cambridge University Press, Cambridge Tracts in Theoretical Computer Science 55, 2003, hard cover: ISBN 0-521-39115-6, xxii+884 pages

Dershowitz, Nachum

doi:10.1017/S1471068405222445

Record: found
Abstract: not found
Article: not found

Term Rewriting Systems by “Terese” (Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds.), Cambridge University Press, Cambridge Tracts in Theoretical Computer Science 55, 2003, hard cover: ISBN 0-521-39115-6, xxii+884 pages

Author(s): Nachum Dershowitz

Publication date (Electronic): May 09 2005

Journal: Theory and Practice of Logic Programming

Publisher: Cambridge University Press (CUP)

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: Theory and Practice of Logic Programming

Abbreviated Title: Theory and Practice of Logic Programming

Publisher: Cambridge University Press (CUP)

ISSN (Print): 1471-0684

ISSN (Electronic): 1475-3081

Publication date Created: May 2005

Publication date (Electronic): May 09 2005

Publication date (Print): May 2005

Volume: 5

Issue: 3

Pages: 395-399

Article

DOI: 10.1017/S1471068405222445

SO-VID: a8f3718f-a9d4-45af-87c7-8edfe3106bfe

License:

https://www.cambridge.org/core/terms

History

Data availability:

Comments

Comment on this article

scite_

Cited by 3

See all cited by

Term Rewriting Systems by “Terese” (Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds.), Cambridge University Press, Cambridge Tracts in Theoretical Computer Science 55, 2003, hard cover: ISBN 0-521-39115-6, xxii+884 pages

Read this article at

Related collections

Anthropocenes – Human, Inhuman, Posthuman

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 591

Cited by 3