A Complete Finite Axiomatisation of the Equational Theory of Common Meadows.
| Title: | A Complete Finite Axiomatisation of the Equational Theory of Common Meadows. |
|---|---|
| Authors: | Bergstra, Jan A.1, j.a.bergstra@uva.nl, Tucker, John V.2, j.v.tucker@swansea.ac.uk |
| Source: | ACM Transactions on Computational Logic; Jan2025, Vol. 26 Issue 1, p1-28, 28p |
| Database: | Applied Science & Technology Source |
| ISSN: | 15293785 |
|---|---|
| DOI: | 10.1145/3689211 |
| Published in: | ACM Transactions on Computational Logic |
| Language: | English |