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 ]
Ϸ