2020/01/27 by Tarek Sayed Ahmed, Ahmed, Tarek Sayed
Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO)
paper · pdf · doi:10.48550/arxiv.2003.05333
openalex publication_date 2020/01/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Let 2