scientific article; zbMATH DE number 1114026

MaRDI QIDQ4375797zbMATH OpenFDO

Authors François Pitt

Publication date 8 July 1998

zbMATH Keywords

string algebraquantifier-free theorysize of propositional proofs

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of proofs (03F20) First-order arithmetic and fragments (03F30) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• scientific article; zbMATH DE number 554989
• Quantization of the Lie bialgebra of string topology
• Nonassociativity, Malcev algebras and string theory
• Quantifier-free logic for multialgebraic theories
• Publication:3472677
• An algebra and a logic for \(NC^ 1\)
• The \(C^*\)-algebra of bosonic strings
• Quantization of the theory of half-differentiable strings
• scientific article; zbMATH DE number 776040
• A note on the construction of the C*-algebra of bosonic strings

Cited in

(1)

• A bounded arithmetic AID for Frege systems

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 Q4375797)