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

Logic in Computer Science

Authors and titles for cs.LO in Jan 2021, skipping first 100

[ total of 107 entries: 1-50 | 51-100 | 101-107 ]
[ showing 50 entries per page: fewer | more | all ]
[101]  arXiv:2101.08767 (cross-list from math.LO) [pdf, ps, other]
Title: Non axiomatizability of Modal Lukasiewicz Logic
Authors: Amanda Vidal
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[102]  arXiv:2101.08939 (cross-list from quant-ph) [pdf, other]
Title: Static Analysis of Quantum Programs via Gottesman Types
Comments: 18 pages, 3 figures
Subjects: Quantum Physics (quant-ph); Emerging Technologies (cs.ET); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[103]  arXiv:2101.09100 (cross-list from math.CT) [pdf, ps, other]
Title: A Categorical Semantics for Bounded Petri Nets
Comments: 15 pages, gluten free. arXiv admin note: text overlap with arXiv:2101.06234
Subjects: Category Theory (math.CT); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[104]  arXiv:2101.11686 (cross-list from quant-ph) [pdf, ps, other]
Title: Prefix-free quantum Kolmogorov complexity
Authors: Tejas Bhojraj
Comments: 21 pages. This has been submitted to a journal
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO)
[105]  arXiv:2101.11849 (cross-list from math.LO) [pdf, other]
Title: On computable aspects of algebraic and definable closure
Comments: 20 pages
Journal-ref: Journal of Logic and Computation 31, no. 1 (2021), pp. 2-19
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[106]  arXiv:2101.12271 (cross-list from math.LO) [pdf, ps, other]
Title: Fixpoints and relative precompleteness
Comments: 12 pages
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[107]  arXiv:2101.12733 (cross-list from math.CO) [pdf, ps, other]
Title: On the Expressive Power of Homomorphism Counts
Comments: 27 pages, 2 figures
Subjects: Combinatorics (math.CO); Logic in Computer Science (cs.LO)
[ total of 107 entries: 1-50 | 51-100 | 101-107 ]
[ showing 50 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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