共 50 条
- [1] On the Parameterised Complexity of String Morphism Problems Theory of Computing Systems, 2016, 59 : 24 - 51
- [9] Parameterised Complexity of Abduction in Schaefer's Framework LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020), 2020, 11972 : 195 - 213
- [10] Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, FOIKS 2020, 2020, 12012 : 157 - 174