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

### Mon, 19 Feb 2018

[1]
Title: Decidability for Entailments of Symbolic Heaps with Arrays
Comments: A submission for the postproceedings of the Continuity, Computability, Constructivity 2017
Subjects: Logic in Computer Science (cs.LO)
[2]
Title: Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Authors: Horatiu Cirstea (LORIA, Université de Lorraine, France), David Sabel (Goethe-University Frankfurt am Main, Germany)
Journal-ref: EPTCS 265, 2018
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

### Fri, 16 Feb 2018

[3]
Title: Models of Type Theory Based on Moore Paths
Comments: This is a revised and expanded version of a paper with the same name that appeared in the proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)
Subjects: Logic in Computer Science (cs.LO)
[4]
Title: Model Generation for Quantified Formulas: A Taint-Based Approach
Authors: Benjamin Farinier (1), Sébastien Bardin (1), Richard Bonichon (1), Marie-Laure Potet (2) ((1) LSL, (2) VERIMAG - IMAG)
Subjects: Logic in Computer Science (cs.LO)
[5]
Title: Fine-Grained Complexity of Safety Verification
Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS)
[6]
Title: Non-idempotent types for classical calculi in natural deduction style
Subjects: Logic in Computer Science (cs.LO)

### Thu, 15 Feb 2018

[7]
Title: Circular (Yet Sound) Proofs
Subjects: Logic in Computer Science (cs.LO)
[8]
Title: SAT solving techniques: a bibliography
Authors: Louis Abraham
Subjects: Logic in Computer Science (cs.LO)
[9]
Title: On completeness and parametricity in the realizability semantics of System F
Authors: Paolo Pistone
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[10]
Title: Craig Interpolation and Access Interpolation with Clausal First-Order Tableaux
Subjects: Logic in Computer Science (cs.LO)
[11]
Title: Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* (Extended Version)
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
[12]
Title: A sound and complete definition of linearizability on weak memory models
Subjects: Logic in Computer Science (cs.LO)

### Wed, 14 Feb 2018

[13]
Title: Query learning of derived $ω$-tree languages in polynomial time
Subjects: Logic in Computer Science (cs.LO)
[14]
Title: Proof systems: from nestings to sequents and back
Authors: Elaine Pimentel
Comments: Extended version of the paper submitted to IJCAR-18
Subjects: Logic in Computer Science (cs.LO)
[15]
Title: A Concurrent Constraint Programming Interpretation of Access Permissions
Comments: This paper is under consideration for publication in Theory and Practice of Logic Programming (TPLP)
Subjects: Logic in Computer Science (cs.LO)
[16]
Title: The principle of point-free continuity
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[17]
Title: A wide-spectrum language for verification of programs on weak memory models
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[18]
Title: Higher Groups in Homotopy Type Theory
Subjects: Logic in Computer Science (cs.LO); Algebraic Topology (math.AT); Logic (math.LO)
[19]  arXiv:1802.04698 (cross-list from cs.DM) [pdf, other]
Title: Subtyping for Hierarchical, Reconfigurable Petri Nets
Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)
[20]  arXiv:1802.04428 (cross-list from cs.PL) [pdf, other]
Title: Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

### Tue, 13 Feb 2018 (showing first 5 of 9 entries)

[21]
Title: Alternating Nonzero Automata
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[22]
Title: Symmetries of Quantified Boolean Formulas
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[23]
Title: New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs