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 25

[ total of 107 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-107 ]
[ showing 25 entries per page: fewer | more | all ]
[26]  arXiv:2101.05678 [pdf, other]
Title: Lebesgue integration. Detailed proofs to be formalized in Coq
Authors: François Clément (SERENA, CERMICS), Vincent Martin (LMAC)
Subjects: Logic in Computer Science (cs.LO); Classical Analysis and ODEs (math.CA); Functional Analysis (math.FA)
[27]  arXiv:2101.05754 [pdf, other]
Title: A Strong Bisimulation for a Classical Term Calculus by Means of Multiplicative and Exponential Reduction
Comments: arXiv admin note: text overlap with arXiv:1906.09370
Subjects: Logic in Computer Science (cs.LO)
[28]  arXiv:2101.06087 [pdf, ps, other]
Title: An Abstract Contract Theory for Programs with Procedures
Authors: Christian Lidström, Dilian Gurov (KTH Royal Institute of Technology, Stockholm, Sweden)
Comments: 24 pages. This is the full version of the paper An Abstract Contract Theory for Programs with Procedures, published in Proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering (FASE 2021), which includes the proofs of all theorems and additional examples. The conference version should always be cited
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[29]  arXiv:2101.06195 [pdf, other]
Title: Switched Systems as Hybrid Programs
Comments: Long version of paper at ADHS 2021 (7th IFAC Conference on Analysis and Design of Hybrid Systems, July 7-9, 2021)
Subjects: Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
[30]  arXiv:2101.06825 [pdf, other]
Title: Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
Comments: 30 pages, 2 figures, 2 tables, extended version of paper that appeared in International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2021, invited to Logical Methods in Computer Science journal, Version Updates: Notable changes include a self-comparison with different options in Section 7, and Section 6, which discusses implementation details of the prototype
Subjects: Logic in Computer Science (cs.LO)
[31]  arXiv:2101.07066 [pdf, other]
Title: Reversible Computation in Petri Nets
Authors: Kyriaki Psara
Comments: PhD dissertation
Subjects: Logic in Computer Science (cs.LO)
[32]  arXiv:2101.07109 [pdf, ps, other]
Title: Efficient Monitoring of Hyperproperties using Prefix Trees
Comments: arXiv admin note: text overlap with arXiv:1807.00758, arXiv:1906.00798
Subjects: Logic in Computer Science (cs.LO)
[33]  arXiv:2101.07161 [pdf, other]
Title: Realizing Omega-regular Hyperproperties
Comments: International Conference on Computer Aided Verification (CAV 2020)
Journal-ref: =In: Lahiri S., Wang C. (eds) Computer Aided Verification. CAV 2020. Lecture Notes in Computer Science, vol 12225
Subjects: Logic in Computer Science (cs.LO)
[34]  arXiv:2101.07232 [pdf, other]
Title: Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications
Subjects: Logic in Computer Science (cs.LO); Hardware Architecture (cs.AR)
[35]  arXiv:2101.07491 [pdf, ps, other]
Title: Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey
Subjects: Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
[36]  arXiv:2101.07700 [pdf, ps, other]
Title: Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra
Subjects: Logic in Computer Science (cs.LO)
[37]  arXiv:2101.07711 [pdf, ps, other]
Title: On the Decidability of Behavioral Equivalences for (P,P)-PRS
Authors: Irina Lomazova (HSE University, Moscow, Russia), Vladimir Bashkin (Yaroslavl State University, Yaroslavl, Russia)
Comments: Submitted to LICS'2021
Subjects: Logic in Computer Science (cs.LO)
[38]  arXiv:2101.07758 [pdf, other]
Title: A bi-directional extensible interface between Lean and Mathematica
Comments: arXiv admin note: substantial text overlap with arXiv:1712.09288
Subjects: Logic in Computer Science (cs.LO); Mathematical Software (cs.MS)
[39]  arXiv:2101.07761 [pdf, other]
Title: The Coq Proof Script Visualiser (coq-psv)
Authors: Mario Frank
Comments: This contribution was presented during a talk at the Coq Workshop 2020, affiliated with the IJCAR 2020
Subjects: Logic in Computer Science (cs.LO); Computers and Society (cs.CY)
[40]  arXiv:2101.07847 [pdf, other]
Title: The Complexity of Monitoring Hyperproperties
Subjects: Logic in Computer Science (cs.LO)
[41]  arXiv:2101.08184 [pdf, other]
Title: Fixpoint Theory -- Upside Down
Subjects: Logic in Computer Science (cs.LO)
[42]  arXiv:2101.08257 [pdf, ps, other]
Title: Program Repair for Hyperproperties
Comments: arXiv admin note: text overlap with arXiv:2101.07847
Subjects: Logic in Computer Science (cs.LO)
[43]  arXiv:2101.08364 [pdf, ps, other]
Title: Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic (long version)
Subjects: Logic in Computer Science (cs.LO)
[44]  arXiv:2101.08377 [pdf, other]
Title: Finite Model Theory of the Triguarded Fragment and Related Logics
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Logic (math.LO)
[45]  arXiv:2101.08491 [pdf, ps, other]
Title: Complete trace models of state and control
Authors: Guilhem Jaber (GALLINETTE, LS2N), Andrzej S. Murawski
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[46]  arXiv:2101.08735 [pdf, ps, other]
Title: Work-sensitive Dynamic Complexity of Formal Languages
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[47]  arXiv:2101.08880 [pdf, ps, other]
Title: Controller Synthesis for Hyperproperties
Comments: arXiv admin note: text overlap with arXiv:2101.08257
Subjects: Logic in Computer Science (cs.LO)
[48]  arXiv:2101.09042 [pdf, ps, other]
Title: PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report)
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[49]  arXiv:2101.09655 [pdf, ps, other]
Title: Relational Type Theory (All Proofs)
Subjects: Logic in Computer Science (cs.LO)
[50]  arXiv:2101.10166 [pdf]
Title: The Agda Universal Algebra Library and Birkhoff's Theorem in Dependent Type Theory
Authors: William DeMeo
Comments: 111 pages
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[ total of 107 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-107 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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