On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT
From MaRDI portal
Publication:3586043
DOI10.1007/978-3-642-15205-4_18zbMath1287.03102MaRDI QIDQ3586043
Publication date: 3 September 2010
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: http://ddd.uab.cat/record/76063
Related Items