Suchergebnis

• Bounded arithmetic, propositional logic and complexity theory Krajíček, Jan Cambridge [u.a.] : Cambridge Univ. Press, 1995

• Forcing with random variables and proof complexity Krajíček, Jan Cambridge [u.a.] : Cambridge Univ. Press, 2011

• Parameterized and exact computation 8th international symposium, IPEC 2013, Sophia Antipolis, France, September 4 - 6, 2013 ; revised selected papers Gutin, Gregory Z. (Hrsg.) ; IPEC <8, 2013, Sophia Antipolis> Cham [u.a.] : Springer, 2013

• Parameterized and exact computation 9th international symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014 ; revised selected papers Cygan, Marek (Hrsg.) ; IPEC <9., 2014, Breslau> Cham [u.a.] : Springer, 2014

• Parameterized and exact computation second international workshop ; proceedings Bodlaender, Hans L. (Hrsg.) ; IWPEC <2, 2006, Zürich> Berlin [u.a.] : Springer, 2006