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 |
Be the first to leave a comment!