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

Logic in Computer Science

Authors and titles for recent submissions

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

Wed, 21 Aug 2019

[1]  arXiv:1908.07239 [pdf, ps, other]
Title: Two-variable logic revisited
Authors: Yanger Ma, Tony Tan
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[2]  arXiv:1908.07189 [pdf, other]
Title: Polyvariant Program Specialisation with Property-based Abstraction
Authors: John P. Gallagher (Roskilde University and IMDEA Software Institute)
Comments: In Proceedings VPT 2019, arXiv:1908.06723
Journal-ref: EPTCS 299, 2019, pp. 34-48
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[3]  arXiv:1908.07188 [pdf, ps, other]
Title: Lemma Generation for Horn Clause Satisfiability: A Preliminary Study
Authors: Emanuele De Angelis (DEC, University "G. d'Annunzio" of Chieti-Pescara, Italy), Fabio Fioravanti (DEC, University "G. d'Annunzio" of Chieti-Pescara, Italy), Alberto Pettorossi (DICII, University of Roma Tor Vergata, Italy), Maurizio Proietti (CNR-IASI, Rome, Italy)
Comments: In Proceedings VPT 2019, arXiv:1908.06723
Journal-ref: EPTCS 299, 2019, pp. 4-18
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Symbolic Computation (cs.SC)
[4]  arXiv:1908.07282 (cross-list from cs.CC) [pdf, ps, other]
Title: Verification of Flat FIFO Systems
Authors: Alain Finkel (LSV), M. Praveen
Journal-ref: CONCUR 2019, Aug 2019, AMSTERDAM, Netherlands
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[5]  arXiv:1908.07021 (cross-list from math.ST) [pdf, ps, other]
Title: A synthetic approach to Markov kernels, conditional independence, and theorems on sufficient statistics
Authors: Tobias Fritz
Comments: 91 pages
Subjects: Statistics Theory (math.ST); Logic in Computer Science (cs.LO); Category Theory (math.CT); Probability (math.PR)

Tue, 20 Aug 2019

[6]  arXiv:1908.06684 [pdf, other]
Title: Directed Homotopy in Non-Positively Curved Spaces
Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Algebraic Topology (math.AT)
[7]  arXiv:1908.06550 [pdf, other]
Title: Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence
Comments: An extended abstract of this paper appeared in Proc. CONCUR'17
Subjects: Logic in Computer Science (cs.LO)
[8]  arXiv:1908.06510 [pdf, ps, other]
Title: Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)
Comments: This technical report provides proofs and additional materials for a paper (with the same title) at ICTAC'19
Subjects: Logic in Computer Science (cs.LO)
[9]  arXiv:1908.06479 [pdf, ps, other]
Title: Studying Algebraic Structures using Prover9 and Mace4
Comments: 21 pages, to appear as Chapter 5 in "Proof Technology in Mathematics Research and Teaching", Mathematics Education in the Digital Era 14, edited by G. Hanna et al. (eds.), published by Springer
Subjects: Logic in Computer Science (cs.LO)
[10]  arXiv:1908.06275 [pdf, ps, other]
Title: Knowledge Compilation for Boolean Functional Synthesis
Comments: Full version of conference paper accepted at FMCAD 2019
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:1908.06757 (cross-list from cs.AR) [pdf]
Title: Boosting the Bounds of Symbolic QED for Effective Pre-Silicon Verification of Processor Cores
Comments: 14 Pages, 6 Figures
Subjects: Hardware Architecture (cs.AR); Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)
[12]  arXiv:1908.06723 (cross-list from cs.PL) [html]
Title: Proceedings Seventh International Workshop on Verification and Program Transformation
Authors: Alexei Lisitsa (The University of Liverpool), Andrei Nemytykh (Program Systems Institute of RAS)
Journal-ref: EPTCS 299, 2019
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[13]  arXiv:1908.06633 (cross-list from cs.FL) [pdf, ps, other]
Title: On the expressive power of invariants in parametric timed automata
Comments: This is the author version of the manuscript of the same name published in the proceedings of the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019). This work is partially supported by the ANR national research program PACS (ANR-14-CE28-0002) and by ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), JST
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[14]  arXiv:1908.06601 (cross-list from cs.PL) [pdf]
Title: Implicit Recursive Characteristics of STOP
Authors: Mike H. Ji
Comments: 5 pages. A proof that STOP itself is a recursive process. STOP$_{\alpha X} = \mu$ X. nil $\rightarrow$ X
Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[15]  arXiv:1908.06177 (cross-list from cs.LG) [pdf, other]
Title: CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Text
Comments: Accepted at EMNLP 2019, 9 page content + Appendix
Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL); Logic in Computer Science (cs.LO); Machine Learning (stat.ML)

Mon, 19 Aug 2019

[16]  arXiv:1908.05979 [pdf, ps, other]
Title: A Gentzen-style monadic translation of Gödel's System T
Authors: Chuangjie Xu
Comments: 10 pages
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Logic (math.LO)
[17]  arXiv:1908.05964 [pdf, ps, other]
Title: How to Win First-Order Safety Games
Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)
[18]  arXiv:1908.05839 (cross-list from cs.PL) [pdf, other]
Title: Bidirectional Typing
Comments: 34 pages; submitted to ACM Computing Surveys
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[19]  arXiv:1908.05799 (cross-list from cs.PL) [pdf, ps, other]
Title: Modular Verification of Heap Reachability Properties in Separation Logic
Comments: OOPSLA-2019
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[20]  arXiv:1908.05737 (cross-list from cs.AI) [pdf, other]
Title: Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes
Authors: Francesco Olivieri (Data61, CSIRO (Australia)), Guido Governatori (Data61, CSIRO (Australia)), Claudio Tomazzoli (Department of Computer Science, University of Verona), Matteo Cristani (Department of Computer Science, University of Verona)
Comments: In Proceedings DICE-FOPARA 2019, arXiv:1908.04478. arXiv admin note: substantial text overlap with arXiv:1809.03656
Journal-ref: EPTCS 298, 2019, pp. 1-14
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

Fri, 16 Aug 2019

[21]  arXiv:1908.05528 [pdf, ps, other]
Title: Vector spaces as Kripke frames
Subjects: Logic in Computer Science (cs.LO); Computation and Language (cs.CL)
[22]  arXiv:1908.05402 [pdf, other]
Title: Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems
Subjects: Logic in Computer Science (cs.LO); Robotics (cs.RO); Systems and Control (eess.SY)
[23]  arXiv:1908.05535 (cross-list from cs.PL) [pdf, other]
Title: Toward Structured Proofs for Dynamic Logics
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

Thu, 15 Aug 2019 (showing first 2 of 6 entries)

[24]  arXiv:1908.05145 [pdf, ps, other]
Title: Toward a Dempster-Shafer theory of concepts
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[25]  arXiv:1908.04921 [pdf, ps, other]
Title: On the Elementary Affine Lambda-Calculus with and Without Fixed Points
Authors: Lê Thành Dũng Nguyen (LIPN, Université Paris 13)
Comments: In Proceedings DICE-FOPARA 2019, arXiv:1908.04478
Journal-ref: EPTCS 298, 2019, pp. 15-29
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Programming Languages (cs.PL)
[ total of 29 entries: 1-25 | 26-29 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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