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

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, 12-13 September 2009, Proceedings
Forlag	Tallinn University of Technology
Publikationsdato	2009
ISBN (Trykt)	978-9949-430-29-1
Status	Udgivet - 2009
Begivenhed	6th Workshop on Fixed Points in Computer Sciecnce, FICS 2009 - Coimbra, Portugal Varighed: 2 jul. 2010 → …

Konference

Konference	6th Workshop on Fixed Points in Computer Sciecnce, FICS 2009
Land/Område	Portugal
By	Coimbra
Periode	02/07/2010 → …

Citationsformater

@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 = "null ; 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.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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

Y2 - 2 July 2010

ER -