Logic in Computer Science

Authors and titles for March 2016

[1] arXiv:1603.00536 [pdf, other]

Title: Proceedings of the Eleventh International Workshop on Developments in Computational Models

César A. Muñoz (NASA Langley Research Center), Jorge A. Pérez (University of Groningen)

Journal-ref: EPTCS 204, 2016

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

[2] arXiv:1603.00658 [pdf, other]

Title: Nesting Depth of Operators in Graph Database Queries: Expressiveness Vs. Evaluation Complexity

M. Praveen, B. Srivathsan

Comments: Improvements from ICALP 2016 review comments

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

[3] arXiv:1603.00838 [pdf, other]

Title: Some Remarks on Conway and Iteration Theories

Zoltan Esik, Sergey Goncharov

Subjects: Logic in Computer Science (cs.LO)

[4] arXiv:1603.00975 [pdf, other]

Title: Formalising Confluence in PVS

Mauricio Ayala-Rincón (Universidade de Brasília)

Comments: In Proceedings DCM 2015, arXiv:1603.00536

Journal-ref: EPTCS 204, 2016, pp. 11-17

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

[5] arXiv:1603.00976 [pdf, other]

Title: Compositional model checking of concurrent systems, with Petri nets

Paweł Sobociński (University of Southampton)

Comments: In Proceedings DCM 2015, arXiv:1603.00536

Journal-ref: EPTCS 204, 2016, pp. 19-30

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

[6] arXiv:1603.00978 [pdf, other]

Title: Finiteness and Computation in Toposes

Edward Hermann Haeusler (Puc-Rio)

Comments: In Proceedings DCM 2015, arXiv:1603.00536

Journal-ref: EPTCS 204, 2016, pp. 61-77

Subjects: Logic in Computer Science (cs.LO)

[7] arXiv:1603.00979 [pdf, other]

Title: Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models

Mauricio Toro (Universidad Eafit, Colombia), Anna Philippou (University of Cyprus, Cyprus), Sair Arboleda (Universidad de Antioquia, Colombia), María Puerta (Universidad Eafit, Colombia), Carlos M. Vélez S. (Universidad Eafit, Colombia)

Comments: In Proceedings DCM 2015, arXiv:1603.00536

Journal-ref: EPTCS 204, 2016, pp. 79-94

Subjects: Logic in Computer Science (cs.LO)

[8] arXiv:1603.01445 [pdf, other]

Title: Approximate Relational Hoare Logic for Continuous Random Samplings

Tetsuya Sato

Subjects: Logic in Computer Science (cs.LO)

[9] arXiv:1603.01758 [pdf, other]

Title: Normal-order reduction grammars

Maciej Bendkowski

Subjects: Logic in Computer Science (cs.LO)

[10] arXiv:1603.01776 [pdf, other]

Title: Generalised rely-guarantee concurrency: An algebraic foundation

Ian J. Hayes

Comments: 23 pages, 3 figures, submitted to Formal Aspects of Computing

Subjects: Logic in Computer Science (cs.LO)

[11] arXiv:1603.02133 [pdf, other]

Title: Von Neumann Algebras form a Model for the Quantum Lambda Calculus

Kenta Cho, Abraham Westerbaan

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

[12] arXiv:1603.02148 [pdf, other]

Title: Complete Elgot Monads and Coalgebraic Resumptions

Sergey Goncharov, Stefan Milius, Christoph Rauch

Comments: full version, 39 p

Subjects: Logic in Computer Science (cs.LO)

[13] arXiv:1603.02478 [pdf, other]

Title: An Introduction to Mechanized Reasoning

Manfred Kerber, Christoph Lange, Colin Rowat

Journal-ref: Mathematical Economics 66, pp. 26-39. Elsevier, October 2016

Subjects: Logic in Computer Science (cs.LO)

[14] arXiv:1603.02641 [pdf, other]

Title: A Hybrid Linear Logic for Constrained Transition Systems

Joelle Despeyroux (INRIA), Kaustuv Chaudhuri (PARSIFAL)

Comments: LIPIcs. TYPES'2013, Apr 2013, Toulouse, France. Post-proceedings of TYPES'2013, 19th Intl Conference on Types for Proofs and Programs, LIPIcs., 26, pp.150-168, 2014. arXiv admin note: substantial text overlap with arXiv:1310.4310

Subjects: Logic in Computer Science (cs.LO)

[15] arXiv:1603.02922 [pdf, other]

Title: Reasoning about Recursive Probabilistic Programs

Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

Subjects: Logic in Computer Science (cs.LO)

[16] arXiv:1603.03252 [pdf, other]

Title: Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC

Ľuboš Korenčiak, Vojtěch Řehák, Adrian Farmadin

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

[17] arXiv:1603.03475 [pdf, other]

Title: Information Flow in Logical Environments

Robert E. Kent

Comments: This paper was completed in 2008

Subjects: Logic in Computer Science (cs.LO)

[18] arXiv:1603.04309 [pdf, other]

Title: Order-Invariant Types and Their Applications

Pablo Barcelo (U Chile), Leonid Libkin (U Edinburgh)

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 1 (April 1, 2016) lmcs:1632

Subjects: Logic in Computer Science (cs.LO)

[19] arXiv:1603.05214 [pdf, other]

Title: Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion

Stefan Milius, Tadeusz Litak

Comments: invited to a special issue of Fundamenta Informaticae (FiCS'13). arXiv admin note: text overlap with arXiv:1309.0895

Subjects: Logic in Computer Science (cs.LO)

[20] arXiv:1603.05625 [pdf, other]

Title: Two-variable Logic with a Between Predicate

Andreas Krebs, Kamal Lodaya, Paritosh Pandya, Howard Straubing

Subjects: Logic in Computer Science (cs.LO)

[21] arXiv:1603.05789 [pdf, other]

Title: Stuttering equivalence is too slow!

David N. Jansen, Jeroen J.A. Keiren

Comments: 11 pages

Subjects: Logic in Computer Science (cs.LO)

[22] arXiv:1603.06422 [pdf, other]

Title: Parity Game Reductions

S. Cranen, J.J.A. Keiren, T.A.C. Willemse

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

[23] arXiv:1603.06844 [pdf, other]

Title: A Decision Procedure for Separation Logic in SMT

Andrew Reynolds, Radu Iosif, Tim King

Comments: 22 pages

Subjects: Logic in Computer Science (cs.LO)

[24] arXiv:1603.07030 [pdf, other]

Title: Descriptive complexity of graph spectra

Anuj Dawar, Simone Severini, Octavio Zapata

Comments: 17 pages

Journal-ref: Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016

Subjects: Logic in Computer Science (cs.LO)

[25] arXiv:1603.07218 [pdf, other]

Title: Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ-terms

Michele Pagani, Christine Tasson, Lionel Vaux

Comments: Presented at FoSSaCS 2016

Subjects: Logic in Computer Science (cs.LO)

[26] arXiv:1603.07256 [pdf, other]

Title: Summaries for Context-Free Games

Lukáš Holík, Roland Meyer, Sebastian Muskalla

Comments: The conference version of this paper was accepted for FSTTCS 2016

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

[27] arXiv:1603.07259 [pdf, other]

Title: On the characterization of models of H*: The semantical aspect

Flavien Breuvart

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 2 (April 27, 2016) lmcs:1636

Subjects: Logic in Computer Science (cs.LO)

[28] arXiv:1603.07453 [pdf, other]

Title: An Expressive Probabilistic Temporal Logic

Bruno Woltzenlogel Paleo

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[29] arXiv:1603.07458 [pdf, other]

Title: The method "Model Elimination" of D.W.Loveland explained

Michel Lévy

Subjects: Logic in Computer Science (cs.LO)

[30] arXiv:1603.07484 [pdf, other]

Title: A Classical Realizability Model for a Semantical Value Restriction

Rodolphe Lepigre (LAMA)

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

[31] arXiv:1603.08206 [pdf, other]

Title: An Abstract Algebraic Logic View on Judgment Aggregation

Maria Esteban, Alessandra Palmigiano, Zhiguang Zhao

Comments: This is an extended version with details of proofs of the proceeding paper with the same title, in Logic, Rationality and Interaction: Proceedings of 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015, Lecture Notes in Computer Science, Volume 9394, page 77-89

Subjects: Logic in Computer Science (cs.LO)

[32] arXiv:1603.08213 [pdf, other]

Title: Generating reversible circuits from higher-order functional programs

Benoit Valiron

Comments: 21 pages. A shorter preprint has been accepted for publication in the Proceedings of Reversible Computation 2016. The final publication is available at this http URL

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:1603.08264 [pdf, other]

Title: The Schützenberger product for syntactic spaces

Mai Gehrke, Daniela Petrisan, Luca Reggio

Comments: 21 pages

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

[34] arXiv:1603.08769 [pdf, other]

Title: Reasoning about Algebraic Data Types with Abstractions

Tuan-Hung Pham, Andrew Gacek, Michael W. Whalen

Comments: To appear in Journal of Automated Reasoning

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

[35] arXiv:1603.09055 [pdf, other]

Title: Succinctness of Order-Invariant Logics on Depth-Bounded Structures

Kord Eickmeyer, Michael Elberfeld, Frederik Harwath

Comments: A preliminary version of this paper was presented at MFCS 2014

Subjects: Logic in Computer Science (cs.LO)

[36] arXiv:1603.09286 [pdf, other]

Title: Studies on Brutal Contraction and Severe Withdrawal: Preliminary Report

Marco Garapa, Eduardo Fermé, Maurício D. L. Reis

Subjects: Logic in Computer Science (cs.LO)

[37] arXiv:1603.09488 [pdf, other]

Title: Building the Signature of Set Theory Using the MathSem Program

Andrey Luxemburg

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

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

Title: Effective Sequential Protocol Composition in Maude-NPA

Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer

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

[39] arXiv:1603.00307 (cross-list from cs.SE) [pdf, other]

Title: A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt

Comments: Accepted for publication in the proceedings of FASE 2016 (to appear)

Journal-ref: Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2016), volume 9633 of LNCS, pages 31-48. Springer, 2016

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[40] arXiv:1603.00636 (cross-list from cs.SE) [pdf, other]

Title: Semi-Automated Design Space Exploration for Formal Modelling

Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow

Comments: 14 pages. Long version of a short paper to be published at ABZ 2016

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

[41] arXiv:1603.00649 (cross-list from cs.PL) [pdf, other]

Title: Automatic Verification of Iterated Separating Conjunctions using Symbolic Execution

Peter Müller, Malte Schwerhoff, Alexander J. Summers

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

[42] arXiv:1603.01412 (cross-list from cs.DC) [pdf, other]

Title: Contextual trace refinement for concurrent objects: Safety and progress

Brijesh Dongol, Lindsay Groves

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

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

Title: Nominal Automata with Name Binding

Lutz Schröder, Dexter Kozen, Stefan Milius, Thorsten Wißmann

Comments: Updated arguments A.26/A.27; rest unchanged

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

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

Title: Spatial logic of modal mu-calculus and tangled closure operators

Robert Goldblatt, Ian Hodkinson

Journal-ref: Part I: Studia Logica, Volume 106, Issue 1, February 2018, 131-166; Part II: Annals of Pure and Applied Logic, Volume 168, Issue 5, May 2017, 1032-1090

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

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

Title: Solutions of Word Equations over Partially Commutative Structures

Volker Diekert, Artur Jeż, Manfred Kufleitner, Alexander Thumm

Comments: 78 pages

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

[46] arXiv:1603.03727 (cross-list from cs.PL) [pdf, other]

Title: Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus

Hongwei Xi, Zhiqiang Ren, Hanwen Wu, William Blair

Comments: This is the original version of the paper on supporting programming with dyadic session types in ATS

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

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

Title: Solving MaxSAT by Successive Calls to a SAT Solver

Mohamed El Halaby

Comments: Survey, 46 pages

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[48] arXiv:1603.04059 (cross-list from math.GR) [pdf, other]

Title: Algorithmic aspects of branched coverings II/V. Sphere bisets and their decompositions

Laurent Bartholdi, Dzmitry Dudko

Comments: wrt version 1: references fixed wrt version 2: general stylistic improvements, replaced "congruence" by "intertwiner"; wrt version 3: rewrote the algorithmic content

Subjects: Group Theory (math.GR); Logic in Computer Science (cs.LO); Dynamical Systems (math.DS)

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

Title: Reconciling Rationality and Stochasticity: Rich Behavioral Models in Two-Player Games

Mickael Randour

Comments: Accepted at GAMES 2016, the 5th World Congress of the Game Theory Society. High-level survey notably based on arXiv:1204.3283 and arXiv:1411.0835

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

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

Title: Hardware Acceleration for Boolean Satisfiability Solver by Applying Belief Propagation Algorithm

Te-Hsuan Chen, Ju-Yi Lu

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)