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

326 Downloads (Orbit)

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

Check availability in DTU Findit

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/",

}