A variety theorem for relational universal algebra
Nester, Chad Mitchell
Relational and Algebraic Methods in Computer Science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021 : proceedings
2021
/
p. 362–377
https://doi.org/10.1007/978-3-030-88701-8_22
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85118955509&origin=inward&txGid=bb9a4e7327a3831f754e7b7a70b40914
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005
https://www.webofscience.com/wos/woscc/full-record/WOS:000719390400022