No. Title Author Year
1 Ground Reachability and Joinability in Linear Term Rewriting Systems are Fixed Parameter Tractable with Respect to Depth de Oliveira Oliveira, Mateus 2017
2 On Supergraphs Satisfying CMSO Properties de Oliveira Oliveira, Mateus 2017
3 Representations of Monotone Boolean Functions by Linear Programs de Oliveira Oliveira, Mateus et al. 2017
4 Revisiting the Parameterized Complexity of Maximum-Duo Preservation String Mapping Komusiewicz, Christian et al. 2017
5 Size-Treewidth Tradeoffs for Circuits Computing the Element Distinctness Function de Oliveira Oliveira, Mateus 2016
Current Page :
Number of result pages: 1
Number of documents: 5


DROPS-Home | Fulltext Search | Imprint Published by LZI