Showing results 21 to 36 of 36 1 2
in LFMTP 2014 (2014)
in ITP 2013 (2013)
Presentation (2012)
in ICNP 2012 (2012)
Report (2012)
in Fundamenta Informaticae (2012), 121
Scientific Conference (2012)
in HotDep 2012 (2012)
Doctoral thesis (2011)
Report (2010)
in Electronic Notes in Theoretical Computer Science (2009), 247
Scientific Conference (2008)
in ICTAC 2008 (2008)
in LFCS 2007 (2007)
1 2