Fixpoints vs Moore Families

Fuyuan Zhang; Flemming Nielson; Hanne Riis Nielson

Fixpoints vs Moore Families

Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson

Research output: Contribution to conference › Poster › Research › peer-review

324 Downloads (Pure)

Original language	English
Publication date	2012
Number of pages	5
Publication status	Published - 2012
Event	38th International Conference on Current Trends in Theory and Practice of Computer Science : Student Research Forum - Špindlerův Mlýn, Czech Republic Duration: 21 Jan 2012 → 27 Jan 2012 http://www.sofsem.cz/sofsem12/

Conference

Conference	38th International Conference on Current Trends in Theory and Practice of Computer Science : Student Research Forum
Country/Territory	Czech Republic
City	Špindlerův Mlýn
Period	21/01/2012 → 27/01/2012
Internet address	http://www.sofsem.cz/sofsem12/

Access to Document

4A2B7d01Final published version, 414 KB

OpenUrl availability

Full text

Cite this

@conference{59375cd882ae4942a97200f69134975e,

title = "Fixpoints vs Moore Families",

author = "Fuyuan Zhang and Flemming Nielson and Nielson, {Hanne Riis}",

year = "2012",

language = "English",

note = "38th International Conference on Current Trends in Theory and Practice of Computer Science : Student Research Forum, SOFSEM ; Conference date: 21-01-2012 Through 27-01-2012",

url = "http://www.sofsem.cz/sofsem12/",

}