@Article{         Cotton-BarrattMurawskiOng:2019,
  Author        = "Cotton-Barratt, Conrad and Murawski, Andrzej and Ong, C.-H. Luke",
  date-added    = "2019-04-09 22:50:54 +0200",
  date-modified = "2019-04-09 22:52:30 +0200",
  Journal       = "TOPLAS",
  Title         = "ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States",
  Year          = "2019",
  File          = "ebvass-toplas (0) (0) - a - a - o.pdf",
  file-2        = "HIGHLIGHTS17\_paper\_40 (0) (0) - a - a - o.pdf"
}

@Article{ Cotton-BarrattMurawskiOng:2019, Author = "Cotton-Barratt, Conrad and Murawski, Andrzej and Ong, C.-H. Luke", date-added = "2019-04-09 22:50:54 +0200", date-modified = "2019-04-09 22:52:30 +0200", Journal = "TOPLAS", Title = "ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States", Year = "2019", File = "ebvass-toplas (0) (0) - a - a - o.pdf", file-2 = "HIGHLIGHTS17_paper_40 (0) (0) - a - a - o.pdf" }

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