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

Logic in Computer Science

Authors and titles for cs.LO in Jul 2022, skipping first 25

[ total of 112 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-112 ]
[ showing 25 entries per page: fewer | more | all ]
[26]  arXiv:2207.05678 [pdf, other]
Title: Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions
Subjects: Logic in Computer Science (cs.LO)
[27]  arXiv:2207.06681 [pdf, other]
Title: Multi: a Formal Playground for Multi-Smart Contract Interaction
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Symbolic Computation (cs.SC)
[28]  arXiv:2207.06708 [pdf, other]
Title: Realizability Problem for Constraint LTL
Comments: 26 pages
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Logic (math.LO)
[29]  arXiv:2207.06801 [pdf, other]
Title: Parameter Synthesis in Markov Models: A Gentle Survey
Subjects: Logic in Computer Science (cs.LO)
[30]  arXiv:2207.07143 [pdf, ps, other]
Title: Node Replication: Theory And Practice
Comments: 64 pages, submitted to LMCS
Subjects: Logic in Computer Science (cs.LO)
[31]  arXiv:2207.07416 [pdf, ps, other]
Title: Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic
Comments: 9 pages
Subjects: Logic in Computer Science (cs.LO)
[32]  arXiv:2207.07479 [pdf, ps, other]
Title: Zone-based verification of timed automata: extrapolations, simulations and what next?
Comments: Invited contribution at FORMATS'22
Subjects: Logic in Computer Science (cs.LO)
[33]  arXiv:2207.07499 [pdf, ps, other]
Title: Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL
Subjects: Logic in Computer Science (cs.LO)
[34]  arXiv:2207.07614 [pdf, other]
Title: Fixed Points and Noetherian Topologies
Authors: Aliaume Lopez
Comments: 18 pages, 2 figures
Subjects: Logic in Computer Science (cs.LO)
[35]  arXiv:2207.07683 [pdf, ps, other]
Title: First Order Logic and Twin-Width in Tournaments and Dense Oriented Graphs
Comments: 28 pages, 5 figures
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[36]  arXiv:2207.08420 [pdf, ps, other]
Title: Formally verified 32- and 64-bit integer division using double-precision floating-point arithmetic
Authors: David Monniaux (VERIMAG - IMAG), Alice Pain (VERIMAG - IMAG, ENS-PSL)
Subjects: Logic in Computer Science (cs.LO)
[37]  arXiv:2207.08453 [pdf, other]
Title: CD Tools -- Condensed Detachment and Structure Generating Theorem Proving (System Description)
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[38]  arXiv:2207.08465 [pdf, ps, other]
Title: Multiplicative linear logic from a resolution-based tile system
Authors: Boris Eng (LIPN), Thomas Seiller (CNRS, LIPN)
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[39]  arXiv:2207.08572 [pdf, other]
Title: Conjunctive Queries, Existentially Quantified Systems of Equations and Finite Substitutions
Authors: Ján Komara
Comments: 30 pages; reprint of the technical report TR mff-ii-10-1992, September 1992
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[40]  arXiv:2207.08697 [pdf, ps, other]
Title: The Theory of Call-by-Value Solvability (long version)
Comments: Long version of a paper accepted at ICFP 2022. arXiv admin note: text overlap with arXiv:2202.03079
Subjects: Logic in Computer Science (cs.LO)
[41]  arXiv:2207.08775 [pdf, other]
Title: Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach
Authors: Luan V. Nguyen (University of Dayton), Wesam Haddad (University of Dayton), Taylor T. Johnson (Vanderbilt University)
Comments: In Proceedings SNR 2021, arXiv:2207.04391
Journal-ref: EPTCS 361, 2022, pp. 9-23
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Symbolic Computation (cs.SC)
[42]  arXiv:2207.08777 [pdf, ps, other]
Title: Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus
Authors: Marcelo Fiore
Comments: This is a slight revision, with an implementation, of the full version, with proofs, of February 2003 for the extended abstract with the same title published in the Proceedings of the 4th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP) in October 2002
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[43]  arXiv:2207.08918 [pdf, ps, other]
Title: One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
Comments: 7 pages, submitted to Journal
Subjects: Logic in Computer Science (cs.LO)
[44]  arXiv:2207.09142 [pdf, other]
Title: Existentially Quantified Systems of Equations as an Implicit Representation of Answers in Logic Programming
Authors: Ján Komara
Comments: 26 pages; reprint of the technical report TR mff-ii-11-1992, September 1992. arXiv admin note: substantial text overlap with arXiv:2207.08572
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[45]  arXiv:2207.09187 [pdf, other]
Title: Quantitative Hennessy-Milner Theorems via Notions of Density
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[46]  arXiv:2207.09190 [pdf, ps, other]
Title: Central Submonads and Notions of Computation
Comments: 25 pages + 8 pages references and appendix
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT)
[47]  arXiv:2207.09226 [pdf, ps, other]
Title: Capturing the polynomial hierarchy by second-order revised Krom logic
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[48]  arXiv:2207.09486 [pdf, ps, other]
Title: Formalising the Krull Topology in Lean
Authors: Sebastian Monnet
Comments: Minor corrections
Subjects: Logic in Computer Science (cs.LO); Number Theory (math.NT)
[49]  arXiv:2207.09509 [pdf, other]
Title: TestSelector: Automatic Test Suite Selection for Student Projects -- Extended Version
Comments: 19 pages
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[50]  arXiv:2207.09707 [pdf, other]
Title: Careful Autonomous Agents in Environments With Multiple Common Resources
Authors: Rodica Condurache (Alexandru Ioan Cuza University), Catalin Dima (Paris-East Créteil University, LACL), Madalina Jitaru (Paris-East Créteil University, LACL), Youssouf Oualhadj (Free University of Bozen-Bolzano, Paris-East Créteil University), Nicolas Troquard (Free University of Bozen-Bolzano)
Comments: In Proceedings AREA 2022, arXiv:2207.09058
Journal-ref: EPTCS 362, 2022, pp. 3-14
Subjects: Logic in Computer Science (cs.LO)
[ total of 112 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-112 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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