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 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Static Analysis. Proceedings
Redaktører	P. Cousot, M. Falaschi, G. Filé, A. Rauzy
Forlag	Springer Verlag
Publikationsdato	1993
Sider	112-123
DOI	https://doi.org/10.1007/3-540-57264-3_34
Status	Udgivet - 1993
Udgivet eksternt	Ja

Navn	Lecture notes in computer science
Vol/bind	724
ISSN	0302-9743

Adgang til dokumentet

10.1007/3-540-57264-3_34

Citationsformater

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

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

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › 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 -