scientific article; zbMATH DE number 3552492

zbMath0355.02027MaRDI QIDQ4126324

Erwin Engeler

Publication date: 1976

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Algorithms in computer science (68W99) Proof theory and constructive mathematics (03F99)

Related Items

The algebraic degree of geometric optimization problems ⋮ Some elements of a Galois theory of the structure and complexity of the tree automorphism problem ⋮ Generalized galois theory and its application to complexity ⋮ Maximizing a lower bound on the computational complexity