An independent equational basis for the variety of reflexive Nelson algebras
Python Updated 5 months ago 1 commits
gauss-dev|paper2code: arxiv-2606-30300 — An independent equational basis for the variety of reflexive Nelson algebras
5 months agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
An independent equational basis for the variety of reflexive Nelson algebras
Readme