@Article{         SilvaBonchiBonsangueRutten,
  Author        = "Silva, Alexandra and Bonchi, Filippo and Bonsangue, Marcello and Rutten, Jan",
  date-added    = "2014-01-03 18:59:53 +0000",
  date-modified = "2014-01-03 18:59:57 +0000",
  EPrint        = "1302.1046",
  Month         = "02",
  Title         = "Generalizing determinization from automata to coalgebras",
  URL           = "http://arxiv.org/abs/1302.1046",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1302.1046",
  File          = "Generalizing determinization from automata to coalgebras - Silva, Bonchi, Bonsangue, Rutten (0) (0) - a - a - b.pdf"
}

@Article{ SilvaBonchiBonsangueRutten, Author = "Silva, Alexandra and Bonchi, Filippo and Bonsangue, Marcello and Rutten, Jan", date-added = "2014-01-03 18:59:53 +0000", date-modified = "2014-01-03 18:59:57 +0000", EPrint = "1302.1046", Month = "02", Title = "Generalizing determinization from automata to coalgebras", URL = "http://arxiv.org/abs/1302.1046", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1302.1046", File = "Generalizing determinization from automata to coalgebras - Silva, Bonchi, Bonsangue, Rutten (0) (0) - a - a - b.pdf" }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge