1. <code id="md54j"></code>
      <big id="md54j"><em id="md54j"></em></big>

        <code id="md54j"><nobr id="md54j"><samp id="md54j"></samp></nobr></code>
        <dfn id="md54j"><option id="md54j"><sub id="md54j"></sub></option></dfn>
        1. <th id="md54j"></th>

          Mirror operated in collaboration with local support

          Logic in Computer Science

          Authors and titles for recent submissions

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

          Thu, 21 May 2020

          [1]  arXiv:2005.10137 [pdf, ps, other]
          Title: Some Common Mistakes in the Teaching and Textbooks of Modal Logic
          Authors: Xuefeng Wen
          Journal-ref: This is an English translation of the paper published in Studies in Logic (Chinese), 11(4A), 69-86, 2018
          Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
          [2]  arXiv:2005.10182 (cross-list from cs.DM) [pdf, other]
          Title: The Iteration Number of Colour Refinement
          Comments: 22 pages, 3 figures, full version of a paper accepted at ICALP 2020
          Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Combinatorics (math.CO)
          [3]  arXiv:2005.10015 (cross-list from math.CT) [pdf, other]
          Title: Comprehension and quotient structures in the language of 2-categories
          Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
          [4]  arXiv:2005.09998 (cross-list from cs.AI) [pdf, other]
          Title: Tackling the DMN Challenges with cDMN: a Tight Integration of DMN and constraint reasoning
          Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB); Logic in Computer Science (cs.LO)

          Wed, 20 May 2020

          [5]  arXiv:2005.09489 (cross-list from cs.FL) [pdf, other]
          Title: On the Separability Problem of String Constraints
          Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
          [6]  arXiv:2005.09478 (cross-list from cs.PL) [pdf, ps, other]
          Title: Monads and "do" notation in the Wolfram Language
          Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
          [7]  arXiv:2005.09452 (cross-list from cs.PL) [pdf, other]
          Title: PubSub implementation in Haskell with formal verification in Coq
          Comments: 4 pages, accepted for presentation at the CIIT 2020, 17th International Conference on Informatics and Information Technologies
          Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
          [8]  arXiv:2005.09348 (cross-list from cs.SC) [pdf, other]
          Title: Pegasus: Sound Continuous Invariant Generation
          Comments: Extended version of FM'19 conference paper (this https URL)
          Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)
          [9]  arXiv:2005.09253 (cross-list from cs.AI) [pdf, other]
          Title: Safe Learning for Near Optimal Scheduling
          Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

          Tue, 19 May 2020

          [10]  arXiv:2005.08884 [pdf, other]
          Title: Making Isabelle Content Accessible in Knowledge Representation Formats
          Subjects: Logic in Computer Science (cs.LO)
          [11]  arXiv:2005.08384 [pdf, ps, other]
          Title: Fixed Point Semantics for Stream Reasoning
          Authors: Christian Antić
          Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Programming Languages (cs.PL)
          [12]  arXiv:2005.08257 [pdf, ps, other]
          Title: Bouncing threads for infinitary and circular proofs
          Subjects: Logic in Computer Science (cs.LO)
          [13]  arXiv:2005.08856 (cross-list from math.CO) [pdf, ps, other]
          Title: How to generate random lambda terms?
          Comments: Fixed typo in the S-combinator
          Subjects: Combinatorics (math.CO); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

          Mon, 18 May 2020

          [14]  arXiv:2005.07509 [pdf, other]
          Title: Monads and Quantitative Equational Theories for Nondeterminism and Probability
          Subjects: Logic in Computer Science (cs.LO)
          [15]  arXiv:2005.07425 [pdf, other]
          Title: Verifying Hyperliveness
          Authors: Norine Coenen (1), Bernd Finkbeiner (1), César Sánchez (2), Leander Tentrup (1) ((1) Reactive Systems Group, Saarland University, (2) IMDEA Software Institute)
          Comments: Originally published at CAV 2019
          Journal-ref: In: Dillig I., Tasiran S. (eds) Computer Aided Verification. CAV 2019. Lecture Notes in Computer Science, vol 11561. Springer, Cham
          Subjects: Logic in Computer Science (cs.LO)
          [16]  arXiv:2005.07227 (cross-list from cs.FL) [pdf, other]
          Title: Qualitative Controller Synthesis for Consumption Markov Decision Processes
          Comments: Full version of a paper accepted at CAV'20
          Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

          Fri, 15 May 2020

          [17]  arXiv:2005.07130 [pdf, other]
          Title: AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version)
          Comments: 22 pages, 5 figures, full version of the corresponding CAV2020 paper
          Subjects: Logic in Computer Science (cs.LO)
          [18]  arXiv:2005.07059 [pdf, ps, other]
          Title: Proof-relevant Category Theory in Agda
          Subjects: Logic in Computer Science (cs.LO)
          [19]  arXiv:2005.06750 [pdf, other]
          Title: Automated Requirements-Based Testing of Black-Box Reactive Systems
          Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
          [20]  arXiv:2005.06659 [pdf, ps, other]
          Title: The Extended Theory of Trees and Algebraic (Co)datatypes
          Comments: full version of a paper submitted to HCVS 2020
          Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
          [21]  arXiv:2005.06503 [pdf, other]
          Title: Generating collection queries from proofs
          Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB)
          [22]  arXiv:2005.06922 (cross-list from cs.AI) [pdf, other]
          Title: Manthan: A Data Driven Approach for Boolean Function Synthesis
          Comments: 24 pages including references, and 8 figures. To be published in 32nd International Conference on Computer-Aided Verification (CAV-2020)
          Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
          [23]  arXiv:2005.06818 (cross-list from cs.FL) [pdf, other]
          Title: Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication)
          Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Logic (math.LO)
          [24]  arXiv:2005.06814 (cross-list from cs.DC) [pdf, other]
          Title: How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation
          Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Logic (math.LO)
          [25]  arXiv:2005.06636 (cross-list from econ.TH) [pdf, other]
          Title: Infinite-Duration All-Pay Bidding Games
          Subjects: Theoretical Economics (econ.TH); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
          [ total of 25 entries: 1-25 ]
          [ showing 25 entries per page: fewer | more ]
          Ϸ