scientific article; zbMATH DE number 3591972

zbMATH Open0381.03026MaRDI QIDQ4159038FDOQ4159038

Authors: Neil D. Jones, Alan L. Selman 

Publication date: 1972

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Classical first-order logic (03B10) Turing machines and related notions (03D10)

Cited In (6)

• Comparing complexity classes
• On the complexity of inference about probabilistic relational models
• Lower complexity bounds for lifted inference
• Investigation of binary spectra by explicit polynomial transformations of graphs
• Probabilities on Models of Universal Sentences
• Sets of Formulas Valid in Finite Structures

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4159038)