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 10

[ total of 135 entries: 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | ... | 131-135 ]
[ showing 10 entries per page: fewer | more | all ]
[11]  arXiv:2105.02013 [pdf, other]
Title: Flavours of Sequential Information Flow
Subjects: Logic in Computer Science (cs.LO)
[12]  arXiv:2105.02309 [pdf, other]
Title: A Generalized Concurrent Rule Construction for Double-Pushout Rewriting
Comments: 36 pages, 33 figures, accepted for publication at the 14th International Conference on Graph Transformation (ICGT) 2021
Subjects: Logic in Computer Science (cs.LO)
[13]  arXiv:2105.02352 [src]
Title: Uniqueness typing for intersection types
Comments: Superseded by arXiv:1809.08169v2
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[14]  arXiv:2105.02444 [pdf, ps, other]
Title: Parallelized sequential composition, pipelines, and hardware weak memory models
Authors: Robert J. Colvin
Subjects: Logic in Computer Science (cs.LO)
[15]  arXiv:2105.02485 [pdf, other]
Title: Positional Injectivity for Innocent Strategies
Authors: Lison Blondeau-Patissier (ENS Lyon), Pierre Clairambault (LIP, PLUME)
Journal-ref: 6TH INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION, Jul 2021, Buenos Aires, Argentina
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[16]  arXiv:2105.02559 [pdf, ps, other]
Title: Probablistic Bigraphs
Comments: 20 pages, 15 figures
Subjects: Logic in Computer Science (cs.LO)
[17]  arXiv:2105.02842 [pdf, other]
Title: Concurrency Theorems for Non-linear Rewriting Theories
Authors: Nicolas Behr (Université de Paris, CNRS, IRIF), Russ Harmer (Univ. Lyon, EnsL, UCBL, CNRS, LIP, France), Jean Krivine (Université de Paris, CNRS, IRIF)
Comments: 19+14 pages, LNCS style; ICGT 2021 conference paper extended version
Subjects: Logic in Computer Science (cs.LO)
[18]  arXiv:2105.03005 [pdf, ps, other]
Title: A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
Comments: arXiv admin note: text overlap with arXiv:2102.05422
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[19]  arXiv:2105.03274 [pdf, other]
Title: Lovász-Type Theorems and Game Comonads
Comments: 23 pages. To appear in the Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021)
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
[20]  arXiv:2105.03389 [pdf, ps, other]
Title: GADTs, Functoriality, Parametricity: Pick Two
Authors: Patricia Johann (Appalachian State University), Enrico Ghiorzi (Appalachian State University), Daniel Jeffries (Appalachian State University)
Comments: In Proceedings LSFA 2021, arXiv:2204.03415
Journal-ref: EPTCS 357, 2022, pp. 77-92
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[ total of 135 entries: 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | ... | 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)