Logic in Computer Science

Authors and titles for September 2014

[26] arXiv:1409.3941 [pdf, other]

Title: Polynomial Template Generation using Sum-of-Squares Programming

Assalé Adjé, Victor Magron

Comments: 23 pages, 3 figures, 1 table

Subjects: Logic in Computer Science (cs.LO); Optimization and Control (math.OC)

[27] arXiv:1409.4433 [pdf, other]

Title: Faster Existential FO Model Checking on Posets

Jakub Gajarský (Masaryk University, Brno), Petr Hliněný (Masaryk University, Brno), Jan Obdržálek (Masaryk University, Brno), Sebastian Ordyniak (Masaryk University, Brno)

Comments: Paper as accepted to the LMCS journal. An extended abstract of an earlier version of this paper has appeared at ISAAC'14. Main changes to the previous version are improvements in the Multicoloured Clique part (Section 4)

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 4 (December 11, 2015) lmcs:1609

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM)

[28] arXiv:1409.4637 [pdf, other]

Title: Automatic Error Localization for Software using Deductive Verification

Robert Koenighofer, Ronald Toegl, Roderick Bloem

Comments: This is an extended version of [8], featuring an additional appendix

Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[29] arXiv:1409.4925 [pdf, other]

Title: Second-Order Propositional Satisfiability

Cristina David, Daniel Kroening, Matt Lewis

Comments: 19 pages

Subjects: Logic in Computer Science (cs.LO)

[30] arXiv:1409.5368 [pdf, other]

Title: Fly-automata, model-checking and recognizability

Bruno Courcelle (LaBRI), Irène A. Durand (LaBRI)

Subjects: Logic in Computer Science (cs.LO)

[31] arXiv:1409.5681 [pdf, other]

Title: Model-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models

Steen Vester

Comments: 22 pages, 12 figures

Subjects: Logic in Computer Science (cs.LO)

[32] arXiv:1409.5865 [pdf, other]

Title: Homotopy Bisimilarity for Higher-Dimensional Automata

Uli Fahrenberg, Axel Legay

Comments: Heavily revised version of arXiv:1209.4927

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)

[33] arXiv:1409.6253 [pdf, other]

Title: Constructing Coverability Graphs for Time Basic Petri Nets

Matteo Camilli

Comments: 13 pages

Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[34] arXiv:1409.6414 [pdf, other]

Title: Proof Generation from Delta-Decisions

Sicun Gao, Soonho Kong, Edmund Clarke

Comments: Appeared in SYNASC'14

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:1409.6466 [pdf, other]

Title: Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures

Yongming Li, Zhanyou Ma

Subjects: Logic in Computer Science (cs.LO)

[36] arXiv:1409.6856 [pdf, other]

Title: Reconfigurable Decorated PT Nets with Inhibitor Arcs and Transition Priorities

Julia Padberg

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM)

[37] arXiv:1409.6873 [pdf, other]

Title: Probabilistic thread algebra

J. A. Bergstra, C. A. Middelburg

Comments: 25 pages (arXiv admin note: text overlap with arXiv:1408.2955, arXiv:1402.4950); some simplifications made; substantially revised

Journal-ref: Scientific Annals of Computer Science 25(2):211--243, 2015

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[38] arXiv:1409.6977 [pdf, other]

Title: On the information carried by programs about the objects they compute

Mathieu Hoyrup, Cristobal Rojas

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[39] arXiv:1409.7411 [pdf, other]

Title: A Higher-order Framework for Decision Problems and Games

Jules Hedges, Paulo Oliva, Evguenia Winschel, Viktor Winschel, Philipp Zahn

Comments: 45 pages

Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT); Logic (math.LO)

[40] arXiv:1409.7488 [pdf, other]

Title: On the strictness of the quantifier structure hierarchy in first-order logic

Yuguo He (School of Computer Science and Technology, Beijing Institute of Technology, China)

Comments: 38 pages, 8 figures

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 4 (November 13, 2014) lmcs:965

Subjects: Logic in Computer Science (cs.LO)

[41] arXiv:1409.7542 [pdf, other]

Title: Thin Games with Symmetry and Concurrent Hyland-Ong Games

Simon Castellan (LIP), Pierre Clairambault (LIP, PLUME), Glynn Winskel

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 1 (March 4, 2019) lmcs:3891

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[42] arXiv:1409.8056 [pdf, other]

Title: Full abstraction for fair testing in CCS (expanded version)

Tom Hirschowitz (CNRS, Université de Savoie)

Comments: 80 pages

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 4 (October 31, 2014) lmcs:1090

Subjects: Logic in Computer Science (cs.LO)

[43] arXiv:1409.0194 (cross-list from quant-ph) [pdf, other]

Title: A Pragmatic Interpretation of Quantum Logic

Claudio Garola

Comments: Third version: 20 pages. Sects. 1, 2, and 4 rewritten and improved. Explanations added

Journal-ref: Int J Theor Phys (2017) 56: 3770-3782

Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO)

[44] arXiv:1409.0309 (cross-list from cs.CR) [pdf, other]

Title: Using Architecture to Reason about Information Security

Stephen Chong, Ron van der Meyden

Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

[45] arXiv:1409.0496 (cross-list from math.LO) [pdf, other]

Title: On approximate decidability of minimal programs

Jason Teutsch, Marius Zimand

Subjects: Logic (math.LO); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[46] arXiv:1409.0731 (cross-list from math.LO) [pdf, other]

Title: Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality

Emanuel Kieroński, Antti Kuusisto

Comments: preprint

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[47] arXiv:1409.2731 (cross-list from cs.CC) [pdf, other]

Title: Narrow Proofs May Be Maximally Long

Albert Atserias, Massimo Lauria, Jakob Nordström

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)

[48] arXiv:1409.2978 (cross-list from cs.CC) [pdf, other]

Title: From Small Space to Small Width in Resolution

Yuval Filmus, Massimo Lauria, Mladen Mikša, Jakob Nordström, Marc Vinyals

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)

[49] arXiv:1409.3696 (cross-list from cs.FL) [pdf, other]

Title: LTL Parameter Synthesis of Parametric Timed Automata

Peter Bezděk, Nikola Beneš, Jiří Barnat, Ivana Černá

Comments: 23 pages, extended version

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[50] arXiv:1409.4230 (cross-list from cs.DM) [pdf, other]

Title: On the Termination of Linear and Affine Programs over the Integers

Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe

Comments: arXiv admin note: substantial text overlap with arXiv:1407.4556

Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)