scientific article
From MaRDI portal
Publication:4035316
zbMath0846.03020MaRDI QIDQ4035316
Anil Nerode, Jeffery B. Remmel
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other constructive mathematics (03F65) Vector spaces, linear dependence, rank, lineability (15A03) Theory of numerations, effectively presented structures (03D45)
Related Items
A theory of nonmonotonic rule systems I, On the lattices of NP-subspaces of a polynomial time vector space over a finite field, Complexity and categoricity, Feasibly categorical models, Feasible graphs with standard universe