Solutions of Generalized Recursive Metric-Space Equations

Lars Birkedal; Kristian Støvring; Jacob Junker Thamsborg

Solutions of Generalized Recursive Metric-Space Equations

Lars Birkedal, Kristian Støvring, Jacob Junker Thamsborg

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, 12-13 September 2009, Proceedings
Publisher	Tallinn University of Technology
Publication date	2009
ISBN (Print)	978-9949-430-29-1
Publication status	Published - 2009
Event	6th Workshop on Fixed Points in Computer Sciecnce, FICS 2009 - Coimbra, Portugal Duration: 2 Jul 2010 → …

Conference

Conference	6th Workshop on Fixed Points in Computer Sciecnce, FICS 2009
Country/Territory	Portugal
City	Coimbra
Period	02/07/2010 → …

Cite this

@inproceedings{59d83230da6011deb0f9000ea68e967b,

title = "Solutions of Generalized Recursive Metric-Space Equations",

author = "Lars Birkedal and Kristian St{\o}vring and Thamsborg, {Jacob Junker}",

year = "2009",

language = "English",

isbn = "978-9949-430-29-1",

booktitle = "6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, 12-13 September 2009, Proceedings",

publisher = "Tallinn University of Technology",

note = "6th Workshop on Fixed Points in Computer Sciecnce, FICS 2009 ; Conference date: 02-07-2010",

}

Solutions of Generalized Recursive Metric-Space Equations. / Birkedal, Lars; Støvring, Kristian; Thamsborg, Jacob Junker.
6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, 12-13 September 2009, Proceedings. Tallinn University of Technology, 2009.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

T1 - Solutions of Generalized Recursive Metric-Space Equations

AU - Birkedal, Lars

AU - Støvring, Kristian

AU - Thamsborg, Jacob Junker

PY - 2009

Y1 - 2009

M3 - Article in proceedings

SN - 978-9949-430-29-1

BT - 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, 12-13 September 2009, Proceedings

PB - Tallinn University of Technology

T2 - 6th Workshop on Fixed Points in Computer Sciecnce, FICS 2009

Y2 - 2 July 2010

ER -