@Article{ DBLP:journals/lmcs/Bollig08,
Author = "Bollig, Benedikt",
bibsource = "DBLP, http://dblp.uni-trier.de",
date-added = "2012-11-01 13:40:47 +0000",
date-modified = "2012-11-01 13:40:47 +0000",
ee = "http://dx.doi.org/10.2168/LMCS-4(4:16)2008",
Journal = "Logical Methods in Computer Science",
Number = "4",
Title = "On the Expressive Power of 2-Stack Visibly Pushdown Automata",
Volume = "4",
Year = "2008",
File = "On the Expressive Power of 2-Stack Visibly Pushdown Automata - Bollig (0) (0) - a - a - x.pdf"
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A