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 130

[ total of 135 entries: 1-10 | ... | 101-110 | 111-120 | 121-130 | 131-135 ]
[ showing 10 entries per page: fewer | more | all ]
[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-10 | ... | 101-110 | 111-120 | 121-130 | 131-135 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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