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

Logic in Computer Science

Authors and titles for cs.LO in May 2021

[ total of 135 entries: 1-10 | 11-20 | 21-30 | 31-40 | ... | 131-135 ]
[ showing 10 entries per page: fewer | more | all ]
[1]  arXiv:2105.00024 [pdf, other]
Title: Types are Internal $\infty$-Groupoids
Comments: Extended version of the LICS 2021 article
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[2]  arXiv:2105.00188 [pdf, ps, other]
Title: lr-Multisemigroups and Modal Convolution Algebras
Comments: 38 pages, 1 figure
Subjects: Logic in Computer Science (cs.LO); Rings and Algebras (math.RA)
[3]  arXiv:2105.00564 [pdf, other]
Title: Encoding Tight Typing in a Unified Framework
Comments: arXiv admin note: text overlap with arXiv:2002.04011
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[4]  arXiv:2105.00669 [pdf, other]
Title: Explaining Behavioural Inequivalence Generically in Quasilinear Time
Comments: Full version with appendix containing all proofs
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:2105.00735 [pdf, ps, other]
Title: In search of lost time: Axiomatising parallel composition in process algebras
Comments: arXiv admin note: text overlap with arXiv:2010.01943, arXiv:2102.11166
Subjects: Logic in Computer Science (cs.LO)
[6]  arXiv:2105.00748 [pdf, ps, other]
Title: What's Decidable about (Atomic) Polymorphism
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[7]  arXiv:2105.00885 [pdf, ps, other]
Title: Generating Extended Resolution Proofs with a BDD-Based SAT Solver
Comments: Extended version of paper published at TACAS 2021
Subjects: Logic in Computer Science (cs.LO)
[8]  arXiv:2105.00969 [pdf, other]
Title: Abstract clones for abstract syntax
Comments: To appear in the proceedings of FSCD 2021; 16 pages
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[9]  arXiv:2105.01382 [pdf, ps, other]
Title: A Subatomic Proof System for Decision Trees
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[10]  arXiv:2105.01861 [pdf, other]
Title: Higher-Order Model Checking Step by Step
Authors: Paweł Parys
Comments: This is an extended version of a paper published on the ICALP 2021 conference
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[ total of 135 entries: 1-10 | 11-20 | 21-30 | 31-40 | ... | 131-135 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2201, contact, help  (Access key information)