output
20102018
most citedSurvey on Additive Manufacturing, Cloud 3D Printing and Services

36 citations

researchers with a paper here
collaborating institutions
Showing 2011Show all

1 paper · 1 filter

cs.CC2011★ 1 cited

On the Parameterized Complexity of Default Logic and Autoepistemic Logic

Arne Meier, Johannes Schmidt, Michael Thomas +1

We investigate the application of Courcelle's Theorem and the logspace version of Elberfeld etal. in the context of the implication problem for propositional sets of formulae, the…