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

Logic in Computer Science

Authors and titles for cs.LO in May 2021, skipping first 125

[ total of 135 entries: 1-25 | ... | 51-75 | 76-100 | 101-125 | 126-135 ]
[ showing 25 entries per page: fewer | more | all ]
[126]  arXiv:2105.07734 (cross-list from math.LO) [pdf, ps, other]
Title: Induction and Skolemization in saturation theorem proving
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[127]  arXiv:2105.08422 (cross-list from math.LO) [pdf, ps, other]
Title: Parametricity and Semi-Cubical Types
Authors: Hugo Moeneclaey
Comments: 25 pages, to be presented at LICS 2021
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[128]  arXiv:2105.10542 (cross-list from math.CO) [pdf, ps, other]
Title: Big Ramsey degrees of the generic partial order
Comments: 6 pages, extended abstract accepted to EUROCOMB 2021
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Logic (math.LO)
[129]  arXiv:2105.10822 (cross-list from math.CT) [pdf, other]
Title: Homotopies in Multiway (Non-Deterministic) Rewriting Systems as $n$-Fold Categories
Comments: 16 pages, 5 figures
Subjects: Category Theory (math.CT); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Mathematical Physics (math-ph); Combinatorics (math.CO)
[130]  arXiv:2105.10853 (cross-list from q-bio.MN) [pdf, other]
Title: Parametric Toricity of Steady State Varieties of Reaction Networks
Comments: Computations available as ancillary files
Subjects: Molecular Networks (q-bio.MN); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[131]  arXiv:2105.11398 (cross-list from econ.TH) [pdf, other]
Title: A Category for Extensive-Form Games
Comments: 60 pages, 17 figures, formulation entirely different from arXiv:2004.11196
Subjects: Theoretical Economics (econ.TH); Logic in Computer Science (cs.LO); Category Theory (math.CT)
[132]  arXiv:2105.12185 (cross-list from math.LO) [pdf, other]
Title: The Pseudofinite Monadic Second Order Theory of Linear Order
Authors: Deacon Linkhorn
Subjects: Logic (math.LO); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[133]  arXiv:2105.12251 (cross-list from math.LO) [pdf, ps, other]
Title: A Canonical Fuzzy Logic
Comments: 28 pages
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[134]  arXiv:2105.12801 (cross-list from math.CT) [pdf, other]
Title: Dialectica Petri nets
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
[135]  arXiv:2105.14047 (cross-list from quant-ph) [pdf, other]
Title: Generators and Relations for Un(Z[1/2,i])
Authors: Xiaoning Bian (Dalhousie University), Peter Selinger (Dalhousie University)
Comments: In Proceedings QPL 2021, arXiv:2109.04886
Journal-ref: EPTCS 343, 2021, pp. 145-164
Subjects: Quantum Physics (quant-ph); Emerging Technologies (cs.ET); Logic in Computer Science (cs.LO)
[ total of 135 entries: 1-25 | ... | 51-75 | 76-100 | 101-125 | 126-135 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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