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

Logic in Computer Science

Authors and titles for recent submissions

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

Fri, 15 Nov 2019

[1]  arXiv:1911.05844 [pdf, ps, other]
Title: Naive cubical type theory
Authors: Bruno Bentzen
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:1911.05908 (cross-list from cs.MA) [pdf, ps, other]
Title: Tractable reasoning about Agent Programming in Dynamic Preference Logic
Comments: Published in BRACIS 2018
Subjects: Multiagent Systems (cs.MA); Logic in Computer Science (cs.LO)
[3]  arXiv:1911.05907 (cross-list from cs.MA) [pdf, ps, other]
Title: A Dynamic Preference Logic for reasoning about Agent Programming
Comments: piblished on BRACIS 2017
Subjects: Multiagent Systems (cs.MA); Logic in Computer Science (cs.LO)
[4]  arXiv:1911.05834 (cross-list from cs.CC) [pdf, ps, other]
Title: The Complexity of Synthesizing nop-Equipped Boolean Nets from g-Bounded Inputs (Technical Report)
Authors: Ronny Tredup
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

Thu, 14 Nov 2019

[5]  arXiv:1911.05430 [pdf, other]
Title: Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions
Comments: 25 pages + 19 pages appendix
Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR); Formal Languages and Automata Theory (cs.FL)
[6]  arXiv:1911.01523 (cross-list from eess.SY) [pdf, other]
Title: Counterexample-Guided Synthesis of Perception Models and Control
Subjects: Systems and Control (eess.SY); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Robotics (cs.RO)

Wed, 13 Nov 2019

[7]  arXiv:1911.04732 [pdf, ps, other]
Title: Smart Contract Interactions in Coq
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[8]  arXiv:1911.04863 (cross-list from cs.AI) [pdf, other]
Title: OntoScene, A Logic-based Scene Interpreter: Implementation and Application in the Rock Art Domain
Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)
Subjects: Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)
[9]  arXiv:1911.04588 (cross-list from cs.PL) [pdf, other]
Title: Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version)
Comments: POPL 2020
Journal-ref: Proc. ACM Program. Lang. 4, POPL, Article 15 (January 2020)
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

Tue, 12 Nov 2019

[10]  arXiv:1911.04344 [pdf, ps, other]
Title: Bunch theory, applications, axioms and models
Comments: 67 pages. key words: set theory, bunch theory, denotational model, program semantics, non-deterministic choice, preferential choice, probabilistic choice
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:1911.04195 [pdf, ps, other]
Title: Verifying OpenJDK's LinkedList using KeY
Comments: 16 pages, 9 pages appendix
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[12]  arXiv:1911.04112 [pdf, ps, other]
Title: Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[13]  arXiv:1911.04026 [pdf, ps, other]
Title: A generic imperative language for polynomial time
Authors: Daniel Leivant
Comments: 18 pages, submitted to a conference
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Programming Languages (cs.PL); Logic (math.LO)
[14]  arXiv:1911.03679 [pdf, other]
Title: Decision Procedures for Guarded Logics
Authors: Kevin Kappelmann
Comments: A thesis submitted in partial fulfilment for the degree of MSc in Mathematics and Foundations of Computer Science at the University of Oxford
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Databases (cs.DB)
[15]  arXiv:1911.04326 (cross-list from cs.AI) [pdf, ps, other]
Title: ASP-Core-2 Input Language Format
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[16]  arXiv:1911.04032 (cross-list from cs.DM) [pdf, other]
Title: A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 Codewords
Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC); Combinatorics (math.CO)
[17]  arXiv:1911.03807 (cross-list from cs.PL) [pdf, other]
Title: Synthesis of coordination programs from linear temporal logic
Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

Mon, 11 Nov 2019

[18]  arXiv:1911.03122 [pdf, ps, other]
Title: Promptness and Bounded Fairness in Concurrent and Parameterized Systems
Comments: Accepted for publication in VMCAI 2020
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[ total of 18 entries: 1-18 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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