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

Logic in Computer Science

Authors and titles for cs.LO in Jan 2021

[ total of 107 entries: 1-107 ]
[ showing 107 entries per page: fewer | more ]
[1]  arXiv:2101.00102 [pdf, other]
Title: Verifying a Cruise Control System using Simulink and SpaceEx
Authors: Nikolaos Kekatos
Subjects: Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
[2]  arXiv:2101.00956 [pdf, ps, other]
Title: Computable Random Variables and Conditioning
Authors: Pieter Collins
Comments: arXiv admin note: text overlap with arXiv:1409.4667
Subjects: Logic in Computer Science (cs.LO); Probability (math.PR)
[3]  arXiv:2101.00958 [pdf, other]
Title: Scalable Online Conformance Checking Using Incremental Prefix-Alignment Computation
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[4]  arXiv:2101.00992 [pdf, other]
Title: Formal Game Grammar and Equivalence
Comments: 8 pages, 7 figures. Presented at the 2020 IEEE Conference on Games (Full Paper. August 24-27, 2020). arXiv admin note: text overlap with arXiv:1912.03295
Journal-ref: 2020 IEEE Conference on Games (CoG), Osaka, Japan, 2020, pp. 206-213
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:2101.01676 [pdf, ps, other]
Title: Dynamic Preference Logic meets Iterated Belief Change: Representation Results and Postulates Characterization
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[6]  arXiv:2101.01842 [pdf, other]
Title: Confluence up to Garbage in Graph Transformation
Comments: 33 pages, 2021
Subjects: Logic in Computer Science (cs.LO)
[7]  arXiv:2101.01944 [pdf, ps, other]
Title: Logics of First-Order Constraints -- A Category Independent Approach
Authors: Uwe Wolter
Comments: 23 pages, presented at the 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), London, UK, June 3-6, 2019
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[8]  arXiv:2101.02690 [pdf]
Title: Theorem Proving and Algebra
Authors: Joseph A. Goguen
Comments: 427+ xviii pages, 38 figures, Unfinished book by Joseph A. Goguen, Edited by Kokichi Futatsugi, Narciso Mart\'i-Oliet and Jos\'e Meseguer; revised version corrects some strange characters in page xv
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Symbolic Computation (cs.SC)
[9]  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)
[10]  arXiv:2101.02994 [pdf, other]
Title: Quotients, inductive types, and quotient inductive types
Subjects: Logic in Computer Science (cs.LO)
[11]  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)
[12]  arXiv:2101.03215 [pdf, ps, other]
Title: Polymorphic System I
Comments: 20 pages plus appendix
Journal-ref: In IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages (IFL 2020). Association for Computing Machinery, New York, NY, USA, 127-137
Subjects: Logic in Computer Science (cs.LO)
[13]  arXiv:2101.03591 [pdf, ps, other]
Title: Tietze Equivalences as Weak Equivalences
Subjects: Logic in Computer Science (cs.LO); Algebraic Topology (math.AT)
[14]  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)
[15]  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)
[16]  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)
[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.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)
[19]  arXiv:2101.04819 [pdf, ps, other]
Title: Parametricity for Nested Types and GADTs
Subjects: Logic in Computer Science (cs.LO)
[20]  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)
[21]  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)
[22]  arXiv:2101.05140 [pdf, other]
Title: Secure Process Algebra
Authors: Yong Wang
Comments: 172 pages, 36 figures, 28 tables
Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR)
[23]  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)
[24]  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)
[25]  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)
[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)
[51]  arXiv:2101.10486 [pdf, other]
Title: Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality (Extended Abstract)
Authors: Lachlan McPheat (University College London), Mehrnoosh Sadrzadeh (University College London), Hadi Wazni (Queen Mary University London), Gijs Wijnholds (Utrecht University)
Comments: In Proceedings ACT 2020, arXiv:2101.07888. arXiv admin note: substantial text overlap with arXiv:2005.03074
Journal-ref: EPTCS 333, 2021, pp. 168-182
Subjects: Logic in Computer Science (cs.LO)
[52]  arXiv:2101.10487 [pdf, other]
Title: Proof Theory of Partially Normal Skew Monoidal Categories
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Journal-ref: EPTCS 333, 2021, pp. 230-246
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[53]  arXiv:2101.10488 [pdf, other]
Title: Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits
Authors: Paul Wilson (University of Southampton), Fabio Zanasi (University College London)
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Journal-ref: EPTCS 333, 2021, pp. 247-260
Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG)
[54]  arXiv:2101.10490 [pdf, other]
Title: Behavioral Mereology: A Modal Logic for Passing Constraints
Authors: Brendan Fong (MIT), David Jaz Myers (Johns Hopkins), David I. Spivak (MIT)
Comments: In Proceedings ACT 2020, arXiv:2101.07888. arXiv admin note: substantial text overlap with arXiv:1811.00420
Journal-ref: EPTCS 333, 2021, pp. 276-288
Subjects: Logic in Computer Science (cs.LO)
[55]  arXiv:2101.10493 [pdf, ps, other]
Title: Dualizing sup-preserving endomaps of a complete lattice
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Journal-ref: EPTCS 333, 2021, pp. 335-346
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM)
[56]  arXiv:2101.10494 [pdf, ps, other]
Title: Products in a Category with Only One Object
Authors: Richard Statman (Carnegie Mellon University)
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Journal-ref: EPTCS 333, 2021, pp. 347-353
Subjects: Logic in Computer Science (cs.LO)
[57]  arXiv:2101.10720 [pdf, ps, other]
Title: A program logic for fresh name generation
Comments: 15 core pages accepted for publication in FSEN 2021, +60 pages of proofs included in appendix
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[58]  arXiv:2101.11479 [pdf, other]
Title: Normalization for Cubical Type Theory
Comments: LICS 2021
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[59]  arXiv:2101.11727 [pdf, ps, other]
Title: Characterising Fixed Parameter Tractability of Query Evaluation over Guarded TGDs
Authors: Cristina Feier
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Databases (cs.DB); Formal Languages and Automata Theory (cs.FL)
[60]  arXiv:2101.11730 [pdf, ps, other]
Title: Alignment Completeness for Relational Hoare Logics
Comments: Minor revision of original. To appear in LICS 2021 but this version has appendix
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[61]  arXiv:2101.12029 [pdf, other]
Title: Type-Based Analysis of Logarithmic Amortised Complexity
Comments: 35 pages. arXiv admin note: text overlap with arXiv:1807.08242
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[62]  arXiv:2101.12045 [pdf, other]
Title: Compositional Game Theory, Compositionally
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Journal-ref: EPTCS 333, 2021, pp. 198-214
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[63]  arXiv:2101.12046 [pdf, other]
Title: Wiring diagrams as normal forms for computing in symmetric monoidal categories
Authors: Evan Patterson (Stanford University), David I. Spivak (MIT), Dmitry Vagner
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Journal-ref: EPTCS 333, 2021, pp. 49-64
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM)
[64]  arXiv:2101.12349 [pdf, ps, other]
Title: Logical Characterizations of Fuzzy Bisimulations in Fuzzy Modal Logics over Residuated Lattices
Authors: Linh Anh Nguyen
Subjects: Logic in Computer Science (cs.LO)
[65]  arXiv:2101.12607 [pdf, ps, other]
Title: A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction
Subjects: Logic in Computer Science (cs.LO)
[66]  arXiv:2101.12683 [pdf, other]
Title: Inductive Synthesis for Probabilistic Programs Reaches New Horizons
Comments: Full version of TACAS'21 submission
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[67]  arXiv:2101.00003 (cross-list from cs.CC) [pdf, ps, other]
Title: Yet another argument in favour of NP=CoNP
Comments: This article puts together the results shown in arXiv:2009.09802v1 and in arXiv:2012.07833v1 to show a proof of NP=CoNP. It is need to read these article to get the details on the proof presented here
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[68]  arXiv:2101.00485 (cross-list from cs.AI) [pdf, other]
Title: If You're Happy, Then You Know It: The Logic of Happiness... and Sadness
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[69]  arXiv:2101.00589 (cross-list from cs.AI) [pdf, ps, other]
Title: diff-SAT -- A Software for Sampling and Probabilistic Reasoning for SAT and Answer Set Programming
Authors: Matthias Nickles
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[70]  arXiv:2101.00718 (cross-list from cs.DS) [pdf, other]
Title: Text Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations
Comments: arXiv admin note: substantial text overlap with arXiv:1812.00421
Subjects: Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)
[71]  arXiv:2101.00834 (cross-list from eess.SY) [pdf, other]
Title: Symbolic Control for Stochastic Systems via Parity Games
Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO)
[72]  arXiv:2101.00930 (cross-list from cs.PL) [pdf, ps, other]
Title: Lassie: HOL4 Tactics by Example
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[73]  arXiv:2101.01255 (cross-list from cs.FL) [pdf, ps, other]
Title: Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET$^{SMT}$
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[74]  arXiv:2101.01968 (cross-list from cs.FL) [pdf, other]
Title: Positive first-order logic on words
Authors: Denis Kuperberg
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Logic (math.LO)
[75]  arXiv:2101.02310 (cross-list from cs.FL) [pdf, ps, other]
Title: Parallel Hyperedge Replacement Grammars
Authors: Graham Campbell
Comments: 40 pages, 2021
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[76]  arXiv:2101.02466 (cross-list from cs.DB) [pdf, ps, other]
Title: On the Interaction of Functional and Inclusion Dependencies with Independence Atoms
Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)
[77]  arXiv:2101.02516 (cross-list from cs.AI) [pdf, ps, other]
Title: Merging with unknown reliability
Authors: Paolo Liberatore
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[78]  arXiv:2101.02547 (cross-list from cs.LG) [pdf, ps, other]
Title: On the Convergence of Tsetlin Machines for the XOR Operator
Comments: 31 pages, 3 figures
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[79]  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)
[80]  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)
[81]  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)
[82]  arXiv:2101.06240 (cross-list from cs.DB) [pdf, ps, other]
Title: Towards Approximate Query Enumeration with Sublinear Preprocessing Time
Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)
[83]  arXiv:2101.06644 (cross-list from cs.CV) [pdf, other]
Title: HySTER: A Hybrid Spatio-Temporal Event Reasoner
Comments: Preprint accepted by the 35th AAAI Conference on Artificial Intelligence (AAAI-21) Workshop on Hybrid Artificial Intelligence (HAI)
Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)
[84]  arXiv:2101.06757 (cross-list from cs.PL) [pdf, ps, other]
Title: Higher Order Automatic Differentiation of Higher Order Functions
Comments: 34 pages, 5 figures, submitted at LMCS 2020. arXiv admin note: substantial text overlap with arXiv:2001.02209
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[85]  arXiv:2101.06989 (cross-list from cs.GT) [pdf, other]
Title: Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP
Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[86]  arXiv:2101.07038 (cross-list from cs.FL) [pdf, ps, other]
Title: Computability of Data-Word Transductions over Different Data Domains
Comments: Extended version of arxiv:2002.08203
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[87]  arXiv:2101.07202 (cross-list from cs.AI) [pdf, other]
Title: dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
Journal-ref: TACAS (2) (pp. 326-345). Springer. 2021
Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
[88]  arXiv:2101.07495 (cross-list from cs.CC) [pdf, ps, other]
Title: Tameness and the power of programs over monoids in DA
Authors: Nathan Grosshans, Pierre Mckenzie (DIRO), Luc Segoufin (VALDA, DI-ENS)
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[89]  arXiv:2101.08011 (cross-list from cs.FL) [pdf, other]
Title: One-way resynchronizability of word transducers
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[90]  arXiv:2101.08181 (cross-list from cs.PL) [pdf, ps, other]
Title: Fair Refinement for Asynchronous Session Types (extended version)
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[91]  arXiv:2101.09032 (cross-list from cs.PL) [pdf, other]
Title: Checking Robustness Between Weak Transactional Consistency Models
Comments: 38 pages, 7 figures, 2 tables, extended version of ESOP 2021 conference paper
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[92]  arXiv:2101.09038 (cross-list from cs.PL) [pdf, ps, other]
Title: A Decentralized Analysis of Multiparty Protocols
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[93]  arXiv:2101.10479 (cross-list from cs.PL) [pdf, other]
Title: A Monad for Probabilistic Point Processes
Authors: Swaraj Dash (University of Oxford), Sam Staton (University of Oxford)
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Journal-ref: EPTCS 333, 2021, pp. 19-32
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[94]  arXiv:2101.10907 (cross-list from cs.DM) [pdf]
Title: Exploring Rulial Space: The Case of Turing Machines
Authors: Stephen Wolfram
Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[95]  arXiv:2101.11320 (cross-list from cs.PL) [pdf, ps, other]
Title: Tutorial on implementing Hoare logic for imperative programs in Haskell
Authors: Boro Sitnikovski
Comments: Added sample implementation for H-Consequence, H-While, and another example; Added CoI section, tweaks to labels for 'boptimize'; Improved Hoare logic implementation by relying on actual Propositional calculus and Number theory systems, rather than toy optimization functions; improve formula printer; small tweak updates. Associated files are available at this https URL
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[96]  arXiv:2101.11351 (cross-list from cs.PL) [pdf, other]
Title: Compositional Semantics for Probabilistic Programs with Exact Conditioning
Comments: 16 pages, 5 figures
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Category Theory (math.CT); Probability (math.PR)
[97]  arXiv:2101.11707 (cross-list from cs.CL) [pdf, other]
Title: Knowledge-driven Natural Language Understanding of English Text and its Applications
Comments: Preprint. Accepted by the 35th AAAI Conference (AAAI-21) Main Tracks
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[98]  arXiv:2101.11996 (cross-list from cs.FL) [pdf, ps, other]
Title: Continuous One-Counter Automata
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[99]  arXiv:2101.00127 (cross-list from math.CO) [pdf, ps, other]
Title: Formalizing Hall's Marriage Theorem in Lean
Comments: 15 pages
Subjects: Combinatorics (math.CO); Logic in Computer Science (cs.LO)
[100]  arXiv:2101.07701 (cross-list from math.DS) [pdf, other]
Title: Computing the exact number of periodic orbits for planar flows
Subjects: Dynamical Systems (math.DS); Logic in Computer Science (cs.LO); Logic (math.LO)
[101]  arXiv:2101.08767 (cross-list from math.LO) [pdf, ps, other]
Title: Non axiomatizability of Modal Lukasiewicz Logic
Authors: Amanda Vidal
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[102]  arXiv:2101.08939 (cross-list from quant-ph) [pdf, other]
Title: Static Analysis of Quantum Programs via Gottesman Types
Comments: 18 pages, 3 figures
Subjects: Quantum Physics (quant-ph); Emerging Technologies (cs.ET); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[103]  arXiv:2101.09100 (cross-list from math.CT) [pdf, ps, other]
Title: A Categorical Semantics for Bounded Petri Nets
Comments: 15 pages, gluten free. arXiv admin note: text overlap with arXiv:2101.06234
Subjects: Category Theory (math.CT); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[104]  arXiv:2101.11686 (cross-list from quant-ph) [pdf, ps, other]
Title: Prefix-free quantum Kolmogorov complexity
Authors: Tejas Bhojraj
Comments: 21 pages. This has been submitted to a journal
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO)
[105]  arXiv:2101.11849 (cross-list from math.LO) [pdf, other]
Title: On computable aspects of algebraic and definable closure
Comments: 20 pages
Journal-ref: Journal of Logic and Computation 31, no. 1 (2021), pp. 2-19
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[106]  arXiv:2101.12271 (cross-list from math.LO) [pdf, ps, other]
Title: Fixpoints and relative precompleteness
Comments: 12 pages
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[107]  arXiv:2101.12733 (cross-list from math.CO) [pdf, ps, other]
Title: On the Expressive Power of Homomorphism Counts
Comments: 27 pages, 2 figures
Subjects: Combinatorics (math.CO); Logic in Computer Science (cs.LO)
[ total of 107 entries: 1-107 ]
[ showing 107 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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