pith. sign in

The decision problem for a class of first-order formulas in which all disjunctions are binary.Mathematical Logic Quarterly, 13(1-2):15–20

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

fields

quant-ph 1

years

2019 1

verdicts

UNVERDICTED 1

representative citing papers

citing papers explorer

Showing 1 of 1 citing paper.