Publication:3787980
From MaRDI portal
zbMath0645.03017MaRDI QIDQ3787980
Publication date: 1987
68Q25: Analysis of algorithms and problem complexity
11E04: Quadratic forms over general fields
03D15: Complexity of computation (including implicit computational complexity)
03B50: Many-valued logic
03-04: Software, source code, etc. for problems pertaining to mathematical logic and foundations