Mini-Workshop TCS at TuDo and RUB
NP-complete to undecidable), some tractable restrictions are also identified. MW 28, December 10, 2015, Chair 1 Christian Eichhorn: Sceptical Inference Based on C-representations and its Characterization [...] Joint work with Paweł Gawrychowski, Tomohiro I, Shunsuke Inenaga, and Florin Manea MW 27, June 10th, 2015, Chair 1 Claudio Moraga: Design of circuits for Reversible Computing Abstract : Reversible digital …
