We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic

Authors and titles for math.LO in May 2022, skipping first 60

[ total of 63 entries: 1-10 | ... | 31-40 | 41-50 | 51-60 | 61-63 ]
[ showing 10 entries per page: fewer | more | all ]
[61]  arXiv:2205.09233 (cross-list from cs.LO) [pdf, other]
Title: Rensets and Renaming-Based Recursion for Syntax with Bindings
Authors: Andrei Popescu
Comments: This is an extended technical report associated to an identically titled conference paper that will appear in IJCAR 2022
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[62]  arXiv:2205.12618 (cross-list from cs.DM) [pdf, ps, other]
Title: Semantic Embeddings in Semilattices
Comments: 58 pages
Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Commutative Algebra (math.AC); Logic (math.LO); Rings and Algebras (math.RA)
[63]  arXiv:2205.14003 (cross-list from cs.LO) [pdf, ps, other]
Title: Choiceless Polynomial Time with Witnessed Symmetric Choice
Comments: 65 pages. Full version of a paper to appear at LICS 22. v2: corrected typos and small mistakes
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[ total of 63 entries: 1-10 | ... | 31-40 | 41-50 | 51-60 | 61-63 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, 2302, contact, help  (Access key information)