Occam's razor in metacomputation: the notion of a perfect process tree

Robert Glück; Andrei V. Klimov

doi:10.1007/3-540-57264-3_34

Occam's razor in metacomputation: the notion of a perfect process tree

75 Citations (Scopus)

Original language	English
Title of host publication	Static Analysis. Proceedings
Editors	P. Cousot, M. Falaschi, G. Filé, A. Rauzy
Publisher	Springer Verlag
Publication date	1993
Pages	112-123
DOIs	https://doi.org/10.1007/3-540-57264-3_34
Publication status	Published - 1993
Externally published	Yes

Series	Lecture notes in computer science
Volume	724
ISSN	0302-9743

Access to Document

10.1007/3-540-57264-3_34

Cite this

Occam's razor in metacomputation: the notion of a perfect process tree. / Glück, Robert; Klimov, Andrei V.

Static Analysis. Proceedings. ed. / P. Cousot; M. Falaschi; G. Filé; A. Rauzy. Springer Verlag, 1993. p. 112-123 (Lecture notes in computer science, Vol. 724).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

@inproceedings{5b2b394795c2404d89618510018c1615,

title = "Occam's razor in metacomputation: the notion of a perfect process tree",

author = "Robert Gl{\"u}ck and Klimov, {Andrei V.}",

year = "1993",

doi = "10.1007/3-540-57264-3_34",

language = "English",

series = "Lecture notes in computer science",

publisher = "Springer Verlag",

pages = "112--123",

editor = "P. Cousot and M. Falaschi and G. Fil{\'e} and A. Rauzy",

booktitle = "Static Analysis. Proceedings",

}

TY - GEN

T1 - Occam's razor in metacomputation: the notion of a perfect process tree

AU - Glück, Robert

AU - Klimov, Andrei V.

PY - 1993

Y1 - 1993

U2 - 10.1007/3-540-57264-3_34

DO - 10.1007/3-540-57264-3_34

M3 - Article in proceedings

T3 - Lecture notes in computer science

SP - 112

EP - 123

BT - Static Analysis. Proceedings

A2 - Cousot, P.

A2 - Falaschi, M.

A2 - Filé, G.

A2 - Rauzy, A.

PB - Springer Verlag

ER -