Conservative fixpoint functions on a graph

J.P.H.W. van den Eijnde

doi:10.1007/3-540-56625-2_9

Conservative fixpoint functions on a graph

J.P.H.W. van den Eijnde

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

Original language	English
Title of host publication	Mathematics of Program Construction (Proceedings 2nd International Conference, Oxford, UK, June 29-July 2, 1992)
Editors	R.S. Bird, C. Morgan, J. Woodcock
Place of Publication	Berlin
Publisher	Springer
Pages	80-99
ISBN (Print)	3-540-56625-2
DOIs	https://doi.org/10.1007/3-540-56625-2_9
Publication status	Published - 1993

Publication series

Name	Lecture Notes in Computer Science
Volume	669
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-56625-2_9

Cite this

@inproceedings{eb4cdbdabff3497984b8b90f0538a52f,

title = "Conservative fixpoint functions on a graph",

author = "{van den Eijnde}, J.P.H.W.",

year = "1993",

doi = "10.1007/3-540-56625-2_9",

language = "English",

isbn = "3-540-56625-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "80--99",

editor = "R.S. Bird and C. Morgan and J. Woodcock",

booktitle = "Mathematics of Program Construction (Proceedings 2nd International Conference, Oxford, UK, June 29-July 2, 1992)",

address = "Germany",

}

Conservative fixpoint functions on a graph. / van den Eijnde, J.P.H.W.

Mathematics of Program Construction (Proceedings 2nd International Conference, Oxford, UK, June 29-July 2, 1992). ed. / R.S. Bird; C. Morgan; J. Woodcock. Berlin : Springer, 1993. p. 80-99 (Lecture Notes in Computer Science; Vol. 669).

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

TY - GEN

T1 - Conservative fixpoint functions on a graph

AU - van den Eijnde, J.P.H.W.

PY - 1993

Y1 - 1993

U2 - 10.1007/3-540-56625-2_9

DO - 10.1007/3-540-56625-2_9

M3 - Conference contribution

SN - 3-540-56625-2

T3 - Lecture Notes in Computer Science

SP - 80

EP - 99

BT - Mathematics of Program Construction (Proceedings 2nd International Conference, Oxford, UK, June 29-July 2, 1992)

A2 - Bird, R.S.

A2 - Morgan, C.

A2 - Woodcock, J.

PB - Springer

CY - Berlin

ER -