Newton series, coinductively

H Basold; HH Hansen; JE Pin; J Rutten

doi:10.1007/978-3-319-25150-9_7

Newton series, coinductively

H Basold, HH Hansen, JE Pin, J Rutten

Energy and Industry

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

2 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 12th international colloquium on theoretical aspects of computing, ICTAC 2015
Editors	M Leucker, C Rueda, FD Valencia
Place of Publication	Dordrecht
Publisher	Springer
Pages	91-109
Number of pages	19
ISBN (Print)	978-3-319-25149-3
DOIs	https://doi.org/10.1007/978-3-319-25150-9_7
Publication status	Published - 2015
Event	12th international colloquium on theoretical aspects of computing, ICTAC 2015, Cali, Colombia - Dordrecht Duration: 29 Oct 2015 → 31 Oct 2015

Publication series

Name
Publisher	Springer

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

Conference

Conference	12th international colloquium on theoretical aspects of computing, ICTAC 2015, Cali, Colombia
Period	29/10/15 → 31/10/15

Bibliographical note

harvest

Access to Document

10.1007/978-3-319-25150-9_7

Cite this

@inproceedings{3a85dd35c9b6426e80c300e95d8ae1ed,

title = "Newton series, coinductively",

author = "H Basold and HH Hansen and JE Pin and J Rutten",

note = "harvest; 12th international colloquium on theoretical aspects of computing, ICTAC 2015, Cali, Colombia ; Conference date: 29-10-2015 Through 31-10-2015",

year = "2015",

doi = "10.1007/978-3-319-25150-9_7",

language = "English",

isbn = "978-3-319-25149-3",

publisher = "Springer",

pages = "91--109",

editor = "M Leucker and C Rueda and FD Valencia",

booktitle = "Proceedings of the 12th international colloquium on theoretical aspects of computing, ICTAC 2015",

}

Basold, H, Hansen, HH, Pin, JE & Rutten, J 2015, Newton series, coinductively. in M Leucker, C Rueda & FD Valencia (eds), Proceedings of the 12th international colloquium on theoretical aspects of computing, ICTAC 2015. Lecture Notes in Computer Science, vol. 9399, Springer, Dordrecht, pp. 91-109, 12th international colloquium on theoretical aspects of computing, ICTAC 2015, Cali, Colombia, 29/10/15. https://doi.org/10.1007/978-3-319-25150-9_7

Newton series, coinductively. / Basold, H; Hansen, HH; Pin, JE et al.
Proceedings of the 12th international colloquium on theoretical aspects of computing, ICTAC 2015. ed. / M Leucker; C Rueda; FD Valencia. Dordrecht: Springer, 2015. p. 91-109 (Lecture Notes in Computer Science; Vol. 9399).

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Newton series, coinductively

AU - Basold, H

AU - Hansen, HH

AU - Pin, JE

AU - Rutten, J

N1 - harvest

PY - 2015

Y1 - 2015

UR - http://resolver.tudelft.nl/uuid:7a5c1503-5328-4886-bfe8-ac99bf2fda55

U2 - 10.1007/978-3-319-25150-9_7

DO - 10.1007/978-3-319-25150-9_7

M3 - Conference contribution

SN - 978-3-319-25149-3

SP - 91

EP - 109

BT - Proceedings of the 12th international colloquium on theoretical aspects of computing, ICTAC 2015

A2 - Leucker, M

A2 - Rueda, C

A2 - Valencia, FD

PB - Springer

CY - Dordrecht

T2 - 12th international colloquium on theoretical aspects of computing, ICTAC 2015, Cali, Colombia

Y2 - 29 October 2015 through 31 October 2015

ER -

Newton series, coinductively

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Cite this