Publication:2754181

zbMath0973.03014MaRDI QIDQ2754181

Reinhard Pichler

Publication date: 6 December 2001

Mathematics Subject Classification ID

03B10: Classical first-order logic

03B25: Decidability of theories and sets of sentences

03B35: Mechanization of proofs and logical operations

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)

Related Items

Explicit versus implicit representations of subsets of the Herbrand universe.