Loading…
Saved in:
Publication Year: | 2024 |
---|---|
Subject Terms: | Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, F.1.1, F.4.1 |
Description: |
We study existence and computability of finite bases for ideals of polynomials over infinitely many variables. In our setting, variables com
|
Database: | arXiv |