Search alternatives:
count » court
Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Session 1 -- Proofs About Lists Using Ellipsis -- Session 2 -- On the Complexity of Counting...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...Algorithms for Propositional Model Counting -- Completeness for Flat Modal Fixpoint Logics...”
Cover Image
Read Now

3
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Abduction Answers -- Fast Counting with Bounded Treewidth -- Session 8. Proof-Theory 2 -- Cut Elimination...”
Cover Image
Read Now

4
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Generation with Disconnection Tableaux -- Counting the Number of Equivalent Binary Resolution Proofs...”