Skip to main content

Research Repository

Advanced Search

On the fixed-parameter tractability of parameterized model-checking problems

Stewart, I.A.

On the fixed-parameter tractability of parameterized model-checking problems Thumbnail


Authors



Abstract

In this note, we show, through the use of examples, how generic results for proving fixed-parameter tractability which apply to restricted classes of structures can sometimes be more widely applied.

Citation

Stewart, I. (2008). On the fixed-parameter tractability of parameterized model-checking problems. Information Processing Letters, 106(1), 33-36. https://doi.org/10.1016/j.ipl.2007.09.009

Journal Article Type Article
Publication Date Mar 1, 2008
Deposit Date Jun 29, 2009
Publicly Available Date Mar 29, 2024
Journal Information Processing Letters
Print ISSN 0020-0190
Publisher Elsevier
Peer Reviewed Peer Reviewed
Volume 106
Issue 1
Pages 33-36
DOI https://doi.org/10.1016/j.ipl.2007.09.009
Publisher URL http://www.dur.ac.uk/i.a.stewart/Papers/pboundedltw.pdf

Files





You might also like



Downloadable Citations