https://arxiv.org/abs/1203.0220
[1203.0220] The Equational Approach to CF2 Semantics
Abstract page for arXiv paper 1203.0220: The Equational Approach to CF2 Semantics
12030220equationalapproachcf2
https://easychair.org/publications/keyword/Jvj4
Keyword: equational theories
keywordequationaltheories
https://www.muni.cz/vyzkum/publikace/2371438
Discrete equational theories | Masarykova univerzita | MUNI
masarykova univerzitadiscreteequationaltheoriesmuni
https://openreview.net/forum?id=ey5K1W1Txi
Bridging Equational Properties and Patterns on Graphs: an AI-Based Approach | OpenReview
AI-assisted solutions have recently proven successful when applied to Mathematics and have opened new possibilities for exploring unsolved problems that have...