The Size-Cost of Boolean Operations on Constant Height Deterministic Pushdown Automata

Zuzana Bednárová, Viliam Geffert, Carlo Mereghetti, Beatrice Palano. The Size-Cost of Boolean Operations on Constant Height Deterministic Pushdown Automata. In Markus Holzer, Martin Kutrib, Giovanni Pighizzini, editors, Descriptional Complexity of Formal Systems - 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings. Volume 6808 of Lecture Notes in Computer Science, pages 80-92, Springer, 2011. [doi]

Abstract

Abstract is missing.