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

Logic in Computer Science

Authors and titles for recent submissions

[ total of 25 entries: 1-25 ]
[ showing 25 entries per page: fewer | more ]

Mon, 18 Jan 2021

[1]  arXiv:2101.06240 [pdf, ps, other]
Title: Towards Approximate Query Enumeration with Sublinear Preprocessing Time
Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB)
[2]  arXiv:2101.06195 [pdf, other]
Title: Switched Systems as Hybrid Programs
Comments: This work has been submitted to IFAC for possible publication
Subjects: Logic in Computer Science (cs.LO)
[3]  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, to appear in the 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)
[4]  arXiv:2101.06223 (cross-list from cs.LG) [pdf, other]
Title: LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning
Comments: 16 pages
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[5]  arXiv:2101.06015 (cross-list from cs.NI) [pdf, ps, other]
Title: Deadlock in packet switching networks
Comments: This is a version with full proofs of the preprint that was submitted to FSEN 2021, and accepted for publication in that conference (to appear in Springer LNCS)
Subjects: Networking and Internet Architecture (cs.NI); Logic in Computer Science (cs.LO)

Fri, 15 Jan 2021

[6]  arXiv:2101.05754 [pdf, ps, other]
Title: A Strong Bisimulation for Control Operators by Means of Multiplicative and Exponential Reduction
Comments: arXiv admin note: text overlap with arXiv:1906.09370
Subjects: Logic in Computer Science (cs.LO)
[7]  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)
[8]  arXiv:2101.05415 [pdf, other]
Title: Analysis of E-commerce Ranking Signals via Signal Temporal Logic
Authors: Tommaso Dreossi (Amazon Search), Giorgio Ballardin (Amazon Search), Parth Gupta (Amazon Search), Jan Bakus (Amazon Search), Yu-Hsiang Lin (Amazon Search), Vamsi Salaka (Amazon Search)
Comments: In Proceedings SNR 2020, arXiv:2101.05256
Journal-ref: EPTCS 331, 2021, pp. 33-42
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Information Retrieval (cs.IR); Machine Learning (cs.LG)
[9]  arXiv:2101.05418 (cross-list from cs.RO) [pdf, other]
Title: Enclosing the Sliding Surfaces of a Controlled Swing
Authors: Luc Jaulin (Robex, Lab-STICC), Benoît Desrochers (DGA-TN)
Comments: In Proceedings SNR 2020, arXiv:2101.05256
Journal-ref: EPTCS 331, 2021, pp. 43-55
Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Thu, 14 Jan 2021

[10]  arXiv:2101.05257 [pdf, ps, other]
Title: Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL
Comments: 23 pages. Submitted for publication
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[11]  arXiv:2101.05256 [html]
Title: Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT
Authors: Thao Dang (Verimag/CNRS, France), Stefan Ratschan (Institute of Computer Science, Czech Academy of Sciences)
Journal-ref: EPTCS 331, 2021
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[12]  arXiv:2101.05140 [pdf, ps, other]
Title: Secure Process Algebra
Authors: Yong Wang
Comments: 110 pages, 21 figures, 28 tables. arXiv admin note: text overlap with arXiv:2010.15596, arXiv:1611.09035
Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR)
[13]  arXiv:2101.05024 [pdf]
Title: Proposal for Adding Useful Features to Petri-Net Model Checkers
Authors: Hubert Garavel (CONVECS)
Subjects: Logic in Computer Science (cs.LO)
[14]  arXiv:2101.04971 [pdf, ps, other]
Title: An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains
Authors: Ming Xu (1), Jianling Fu (1), Jingyi Mei (1), Yuxin Deng (1) ((1) Shanghai Key Lab of Trustworthy Computing, East China Normal University, Shanghai, China)
Subjects: Logic in Computer Science (cs.LO)
[15]  arXiv:2101.04819 [pdf, ps, other]
Title: Parametricity for Nested Types and GADTs
Subjects: Logic in Computer Science (cs.LO)

Tue, 12 Jan 2021

[16]  arXiv:2101.03866 [pdf, other]
Title: Register Automata with Extrema Constraints, and an Application to Two-Variable Logic
Comments: The short version of this article appeared in the conference proceedings of LICS 2020
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[17]  arXiv:2101.03810 [pdf, ps, other]
Title: Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory
Authors: Bruno Barras (Inria, Université Paris-Saclay, ENS Paris-Saclay, CNRS, LSV, Gif-sur-Yvette, France), Valentin Maestracci (Université Paris-Saclay, ENS Paris-Saclay, CNRS, LSV, Gif-sur-Yvette, France)
Comments: In Proceedings LFMTP 2020, arXiv:2101.02835
Journal-ref: EPTCS 332, 2021, pp. 54-67
Subjects: Logic in Computer Science (cs.LO)
[18]  arXiv:2101.03809 [pdf, other]
Title: Deductive Systems and Coherence for Skew Prounital Closed Categories
Comments: In Proceedings LFMTP 2020, arXiv:2101.02835
Journal-ref: EPTCS 332, 2021, pp. 35-53
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[19]  arXiv:2101.03808 [pdf, other]
Title: Object-Level Reasoning with Logics Encoded in HOL Light
Authors: Petros Papapanagiotou (University of Edinburgh), Jacques Fleuriot (University of Edinburgh)
Comments: In Proceedings LFMTP 2020, arXiv:2101.02835
Journal-ref: EPTCS 332, 2021, pp. 18-34
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[20]  arXiv:2101.03807 [pdf, ps, other]
Title: Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading
Comments: In Proceedings LFMTP 2020, arXiv:2101.02835
Journal-ref: EPTCS 332, 2021, pp. 1-17
Subjects: Logic in Computer Science (cs.LO)
[21]  arXiv:2101.03591 [pdf, ps, other]
Title: Tietze Equivalences as Weak Equivalences
Subjects: Logic in Computer Science (cs.LO); Algebraic Topology (math.AT)
[22]  arXiv:2101.03215 [pdf, ps, other]
Title: Polymorphic System I
Comments: 18 pages plus appendix
Subjects: Logic in Computer Science (cs.LO)

Mon, 11 Jan 2021

[23]  arXiv:2101.03113 [pdf, ps, other]
Title: A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[24]  arXiv:2101.02994 [pdf, other]
Title: Quotients, inductive types, and quotient inductive types
Subjects: Logic in Computer Science (cs.LO)
[25]  arXiv:2101.02835 [html]
Title: Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Authors: Claudio Sacerdoti Coen (University of Bologna), Alwen Tiu (The Australian National University)
Journal-ref: EPTCS 332, 2021
Subjects: Logic in Computer Science (cs.LO)
[ total of 25 entries: 1-25 ]
[ showing 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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