Rewriting Logic Systems

Grit Denker; Carolyn Talcott; Grigore Rosu; Mark van den Brand; Steven Eker; Traian Florin Şerbǎnuţǎ

doi:10.1016/j.entcs.2007.06.018

Rewriting Logic Systems

Grit Denker, Carolyn Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian Florin Şerbǎnuţǎ

Research output: Contribution to journal › Article › peer-review

Abstract

We present an overview of rewriting-based systems that were presented at the workshop.

Original language	English (US)
Pages (from-to)	233-247
Number of pages	15
Journal	Electronic Notes in Theoretical Computer Science
Volume	176
Issue number	4
DOIs	https://doi.org/10.1016/j.entcs.2007.06.018
State	Published - Jul 28 2007

Keywords

Asf+Sdf
ITP
ITP/OCL
MOMENT-OCL
Maude
Rewriting Competition
Rewriting Systems
TOM + XRHO

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Online availability

10.1016/j.entcs.2007.06.018

Library availability

Discover UIUC Full Text

Cite this

@article{676e69e97455435ea298a5cb9efe3b8a,

title = "Rewriting Logic Systems",

abstract = "We present an overview of rewriting-based systems that were presented at the workshop.",

keywords = "Asf+Sdf, ITP, ITP/OCL, MOMENT-OCL, Maude, Rewriting Competition, Rewriting Systems, TOM + XRHO",

author = "Grit Denker and Carolyn Talcott and Grigore Rosu and {van den Brand}, Mark and Steven Eker and {\c S}erbǎnu{\c t}ǎ, {Traian Florin}",

year = "2007",

month = jul,

day = "28",

doi = "10.1016/j.entcs.2007.06.018",

language = "English (US)",

volume = "176",

pages = "233--247",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

number = "4",

}

TY - JOUR

T1 - Rewriting Logic Systems

AU - Denker, Grit

AU - Talcott, Carolyn

AU - Rosu, Grigore

AU - van den Brand, Mark

AU - Eker, Steven

AU - Şerbǎnuţǎ, Traian Florin

PY - 2007/7/28

Y1 - 2007/7/28

N2 - We present an overview of rewriting-based systems that were presented at the workshop.

AB - We present an overview of rewriting-based systems that were presented at the workshop.

KW - Asf+Sdf

KW - ITP

KW - ITP/OCL

KW - MOMENT-OCL

KW - Maude

KW - Rewriting Competition

KW - Rewriting Systems

KW - TOM + XRHO

UR - http://www.scopus.com/inward/record.url?scp=34447637772&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34447637772&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2007.06.018

DO - 10.1016/j.entcs.2007.06.018

M3 - Article

AN - SCOPUS:34447637772

SN - 1571-0661

VL - 176

SP - 233

EP - 247

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 4

ER -

Rewriting Logic Systems

Abstract

Keywords

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this