Rewriting logic systems

G. Denker; C. Talcott; G. Rosu; M.G.J. Brand, van den; S. Eker; T.F. Serbanuta

doi:10.1016/j.entcs.2007.06.018

Rewriting logic systems

G. Denker, C. Talcott, G. Rosu, M.G.J. Brand, van den, S. Eker, T.F. Serbanuta

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

7 Citaten (Scopus)

Samenvatting

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

Originele taal-2	Engels
Titel	Proceedings 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006) 1-2 April 2006, Vienna, Austria
Redacteuren	G. Denker, C. Talcott
Plaats van productie	New York, New York, USA
Uitgeverij	Association for Computing Machinery, Inc
Pagina's	233-247
DOI's	https://doi.org/10.1016/j.entcs.2007.06.018
Status	Gepubliceerd - 2007
Evenement	conference; WRLA 2006, Vienna, Austria; 2006-04-01; 2006-04-02 - Duur: 1 apr. 2006 → 2 apr. 2006

Publicatie series

Naam	Electronic Notes in Theoretical Computer Science
Volume	176
ISSN van geprinte versie	1571-0061

Congres

Congres	conference; WRLA 2006, Vienna, Austria; 2006-04-01; 2006-04-02
Periode	1/04/06 → 2/04/06
Ander	WRLA 2006, Vienna, Austria

Toegang tot document

10.1016/j.entcs.2007.06.018

Citeer dit

Denker, G., Talcott, C., Rosu, G., Brand, van den, M. G. J., Eker, S., & Serbanuta, T. F. (2007). Rewriting logic systems. In G. Denker, & C. Talcott (editors), Proceedings 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006) 1-2 April 2006, Vienna, Austria (blz. 233-247). (Electronic Notes in Theoretical Computer Science; Vol. 176). Association for Computing Machinery, Inc. https://doi.org/10.1016/j.entcs.2007.06.018

@inproceedings{6e5539d21932400ca058f3cfeb57f6d2,

title = "Rewriting logic systems",

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

author = "G. Denker and C. Talcott and G. Rosu and {Brand, van den}, M.G.J. and S. Eker and T.F. Serbanuta",

year = "2007",

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

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Association for Computing Machinery, Inc",

pages = "233--247",

editor = "G. Denker and C. Talcott",

booktitle = "Proceedings 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006) 1-2 April 2006, Vienna, Austria",

address = "United States",

note = "conference; WRLA 2006, Vienna, Austria; 2006-04-01; 2006-04-02 ; Conference date: 01-04-2006 Through 02-04-2006",

}

Denker, G, Talcott, C, Rosu, G, Brand, van den, MGJ, Eker, S & Serbanuta, TF 2007, Rewriting logic systems. in G Denker & C Talcott (uitgave), Proceedings 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006) 1-2 April 2006, Vienna, Austria. Electronic Notes in Theoretical Computer Science, vol. 176, Association for Computing Machinery, Inc, New York, New York, USA, blz. 233-247, conference; WRLA 2006, Vienna, Austria; 2006-04-01; 2006-04-02, 1/04/06. https://doi.org/10.1016/j.entcs.2007.06.018

Rewriting logic systems. / Denker, G.; Talcott, C.; Rosu, G. et al.
Proceedings 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006) 1-2 April 2006, Vienna, Austria. uitgave / G. Denker; C. Talcott. New York, New York, USA: Association for Computing Machinery, Inc, 2007. blz. 233-247 (Electronic Notes in Theoretical Computer Science; Vol. 176).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Rewriting logic systems

AU - Denker, G.

AU - Talcott, C.

AU - Rosu, G.

AU - Brand, van den, M.G.J.

AU - Eker, S.

AU - Serbanuta, T.F.

PY - 2007

Y1 - 2007

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.

U2 - 10.1016/j.entcs.2007.06.018

DO - 10.1016/j.entcs.2007.06.018

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 233

EP - 247

BT - Proceedings 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006) 1-2 April 2006, Vienna, Austria

A2 - Denker, G.

A2 - Talcott, C.

PB - Association for Computing Machinery, Inc

CY - New York, New York, USA

T2 - conference; WRLA 2006, Vienna, Austria; 2006-04-01; 2006-04-02

Y2 - 1 April 2006 through 2 April 2006

ER -

Denker G, Talcott C, Rosu G, Brand, van den MGJ, Eker S, Serbanuta TF. Rewriting logic systems. In Denker G, Talcott C, redacteurs, Proceedings 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006) 1-2 April 2006, Vienna, Austria. New York, New York, USA: Association for Computing Machinery, Inc. 2007. blz. 233-247. (Electronic Notes in Theoretical Computer Science). doi: 10.1016/j.entcs.2007.06.018

Rewriting logic systems

Samenvatting

Publicatie series

Congres

Toegang tot document

Vingerafdruk

Citeer dit