What does ADDCT mean?

Looking for the full meaning of ADDCT? From the following image, you can find out all definitions of ADDCT. If you want, you can also download image file to print.

What does addct stand for

AcronymDefinition
ADDCTAutomated Deduction: Decidability, Complexity, Tractability