Derivation lengths in term rewriting from interpretations in the naturals

V.C.S. Meeussen, H. Zantema

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

Originele taal-2	Engels
Titel	Computing Science in the Netherlands (CSN'93, Utrecht, The Netherlands, November 9-10, 1993)
Plaats van productie	Amsterdam
Uitgeverij	Centrum voor Wiskunde en Informatica
Pagina's	249-260
ISBN van geprinte versie	90-6196-430-X
Status	Gepubliceerd - 1993

Citeer dit

@inproceedings{ae753abdc9664750af20dc9c9916d427,

title = "Derivation lengths in term rewriting from interpretations in the naturals",

author = "V.C.S. Meeussen and H. Zantema",

year = "1993",

language = "English",

isbn = "90-6196-430-X",

pages = "249--260",

booktitle = "Computing Science in the Netherlands (CSN'93, Utrecht, The Netherlands, November 9-10, 1993)",

publisher = "Centrum voor Wiskunde en Informatica",

}

Derivation lengths in term rewriting from interpretations in the naturals. / Meeussen, V.C.S.; Zantema, H.
Computing Science in the Netherlands (CSN'93, Utrecht, The Netherlands, November 9-10, 1993). Amsterdam: Centrum voor Wiskunde en Informatica, 1993. blz. 249-260.

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

TY - GEN

T1 - Derivation lengths in term rewriting from interpretations in the naturals

AU - Meeussen, V.C.S.

AU - Zantema, H.

PY - 1993

Y1 - 1993

M3 - Conference contribution

SN - 90-6196-430-X

SP - 249

EP - 260

BT - Computing Science in the Netherlands (CSN'93, Utrecht, The Netherlands, November 9-10, 1993)

PB - Centrum voor Wiskunde en Informatica

CY - Amsterdam

ER -