We gratefully acknowledge support from
the Simons Foundation
and member institutions

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 Sep 2017

[1]  arXiv:1709.07495 [pdf, other]
Title: A Symbolic Approach to Safety LTL Synthesis
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:1709.07741 (cross-list from cs.PL) [pdf, ps, other]
Title: Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

Fri, 22 Sep 2017

[3]  arXiv:1709.07139 [pdf, ps, other]
Title: Learning to Prove Safety over Parameterised Concurrent Systems (Full Version)
Comments: Full version of FMCAD'17 paper
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)
[4]  arXiv:1709.07094 [pdf, other]
Title: Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:1709.07063 [pdf, other]
Title: An Algebraic Glimpse at Bunched Implications and Separation Logic
Subjects: Logic in Computer Science (cs.LO)
[6]  arXiv:1709.07314 (cross-list from cs.LG) [pdf, ps, other]
Title: Exact Learning of Lightweight Description Logic Ontologies
Subjects: Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Thu, 21 Sep 2017

[7]  arXiv:1709.06672 [pdf, ps, other]
Title: Reasoning about proof and knowledge
Authors: Steffen Lewitzka
Comments: 37 pages
Subjects: Logic in Computer Science (cs.LO)
[8]  arXiv:1709.06897 (cross-list from cs.PL) [pdf, other]
Title: Context-Updates Analysis and Refinement in Chisel
Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

Wed, 20 Sep 2017

[9]  arXiv:1709.06403 (cross-list from math.CT) [pdf, ps, other]
Title: Geometric theories of patch and Lawson topologies
Authors: Tatsuji Kawai
Comments: 37 pages
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Logic (math.LO)
[10]  arXiv:1709.06226 (cross-list from math.GN) [pdf, ps, other]
Title: On the commutativity of the powerspace constructions
Subjects: General Topology (math.GN); Logic in Computer Science (cs.LO)
[11]  arXiv:1709.06185 (cross-list from cs.DB) [pdf, other]
Title: Enumeration on Trees under Relabelings
Comments: 36 pages including appendix, 30 references. Submitted
Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)

Tue, 19 Sep 2017

[12]  arXiv:1709.05658 [pdf, ps, other]
Title: Safe & Robust Reachability Analysis of Hybrid Systems
Comments: 32 pages including appendix, submitted to TCS on August 7, 2017
Subjects: Logic in Computer Science (cs.LO); Systems and Control (cs.SY)
[13]  arXiv:1709.05702 (cross-list from math.AT) [pdf, other]
Title: On directed homotopy equivalences and a notion of directed topological complexity
Authors: Eric Goubault
Subjects: Algebraic Topology (math.AT); Logic in Computer Science (cs.LO); Systems and Control (cs.SY)
[14]  arXiv:1709.05384 (cross-list from cs.PL) [pdf, ps, other]
Title: Nominal C-Unification
Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[15]  arXiv:1709.05376 (cross-list from cs.PL) [pdf, other]
Title: A Rule-Based Approach to Analyzing Database Schema Objects with Datalog
Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)
Subjects: Programming Languages (cs.PL); Databases (cs.DB); Logic in Computer Science (cs.LO)
[16]  arXiv:1709.05369 (cross-list from cs.DB) [pdf, ps, other]
Title: Foundations of Complex Event Processing
Comments: Conference version
Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)
[ total of 16 entries: 1-16 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)