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 20

[ total of 135 entries: 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | 51-60 | ... | 131-135 ]
[ showing 10 entries per page: fewer | more | all ]
[21]  arXiv:2105.04057 [pdf, other]
Title: Fast Automated Reasoning over String Diagrams using Multiway Causal Structure
Comments: Submitted to Applied Category Theory 2021. 14 pages, 9 figures
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM)
[22]  arXiv:2105.04110 [pdf, ps, other]
Title: A Framework for Reasoning About LF Specifications
Authors: Mary Southern
Subjects: Logic in Computer Science (cs.LO)
[23]  arXiv:2105.04176 [pdf, other]
Title: HyperLTL Satisfiability is $Σ_1^1$-complete, HyperCTL* Satisfiability is $Σ_1^2$-complete
Subjects: Logic in Computer Science (cs.LO)
[24]  arXiv:2105.04501 [pdf, other]
Title: Incorrectness Logic for Graph Programs
Comments: Accepted by the 14th International Conference on Graph Transformation (ICGT 2021)
Journal-ref: Proc. ICGT 2021, volume 12741 of LNCS, pages 81-101. Springer, 2021
Subjects: Logic in Computer Science (cs.LO)
[25]  arXiv:2105.04817 [pdf, other]
Title: Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down
Comments: 38 pages
Subjects: Logic in Computer Science (cs.LO); Computation and Language (cs.CL)
[26]  arXiv:2105.04929 [pdf, other]
Title: Asynchronous Template Games and the Gray Tensor Product of 2-Categories
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[27]  arXiv:2105.05133 [pdf, other]
Title: Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL
Comments: 14 pages, submitted to CONCUR 2021
Subjects: Logic in Computer Science (cs.LO)
[28]  arXiv:2105.05763 [pdf, other]
Title: Iltis: Learning Logic in the Web
Subjects: Logic in Computer Science (cs.LO)
[29]  arXiv:2105.06009 [pdf, other]
Title: Verification of the Incremental Merkle Tree Algorithm with Dafny
Authors: Franck Cassez
Comments: 16 pages
Subjects: Logic in Computer Science (cs.LO)
[30]  arXiv:2105.06186 [pdf, other]
Title: Tracelet Hopf algebras and decomposition spaces
Authors: Nicolas Behr (Université de Paris, CNRS, IRIF), Joachim Kock (Universitat Autònoma de Barcelona)
Comments: 15+9 pages; Applied Category Theory 2021 pre-proceedings version
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[ total of 135 entries: 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | 51-60 | ... | 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)