<progress id="hpfzt"><pre id="hpfzt"></pre></progress>
        <ruby id="hpfzt"></ruby>
        <big id="hpfzt"><p id="hpfzt"></p></big>

        <progress id="hpfzt"></progress>

        <big id="hpfzt"><pre id="hpfzt"></pre></big>

        <i id="hpfzt"></i>

            <strike id="hpfzt"><video id="hpfzt"><ins id="hpfzt"></ins></video></strike>
            <dl id="hpfzt"></dl>
                Mirror operated in collaboration with local support

                Logic in Computer Science

                Authors and titles for recent submissions

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

                Mon, 25 May 2020

                [1]  arXiv:2005.11290 [pdf, other]
                Title: Internal Parametricity for Cubical Type Theory
                Subjects: Logic in Computer Science (cs.LO)
                [2]  arXiv:2005.11023 (cross-list from cs.PL) [pdf, ps, other]
                Title: Symbolic Reasoning about Quantum Circuits in Coq
                Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

                Fri, 22 May 2020

                [3]  arXiv:2005.10382 (cross-list from cs.PL) [pdf, ps, other]
                Title: Formal Specification and Verification of Solidity Contracts with Events
                Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

                Thu, 21 May 2020

                [4]  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)
                [5]  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)
                [6]  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)
                [7]  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

                [8]  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)
                [9]  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)
                [10]  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)
                [11]  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)
                [12]  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

                [13]  arXiv:2005.08884 [pdf, other]
                Title: Making Isabelle Content Accessible in Knowledge Representation Formats
                Subjects: Logic in Computer Science (cs.LO)
                [14]  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)
                [15]  arXiv:2005.08257 [pdf, ps, other]
                Title: Bouncing threads for infinitary and circular proofs
                Subjects: Logic in Computer Science (cs.LO)
                [16]  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)
                [ total of 16 entries: 1-16 ]
                [ showing up to 25 entries per page: fewer | more ]
                ƴϷ