Derivation lengths in term rewriting from interpretations in the naturals

V.C.S. Meeussen, H. Zantema

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Computing Science in the Netherlands (CSN'93, Utrecht, The Netherlands, November 9-10, 1993)
Place of Publication	Amsterdam
Publisher	Centrum voor Wiskunde en Informatica
Pages	249-260
ISBN (Print)	90-6196-430-X
Publication status	Published - 1993

Cite this

@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. p. 249-260.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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 -