Logic in Computer Science

Authors and titles for September 2016

[1] arXiv:1609.00091 [pdf, other]

Title: Approximate Bisimulation and Discretization of Hybrid CSP

Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan

Comments: FM 2016, Proof Appendix, HCSP, approximately bisimilar, hybrid systems, discretization

Subjects: Logic in Computer Science (cs.LO)

[2] arXiv:1609.00118 [pdf, other]

Title: An algebra of synchronous atomic steps

Ian J. Hayes, Robert Colvin, Larissa Meinicke, Kirsten Winter, Andrius Velykis

Journal-ref: Fitzgerald J., Heitmeyer C., Gnesi S., Philippou A. (eds) FM 2016: Formal Methods. FM 2016. Lecture Notes in Computer Science, vol 9995. Springer, Cham

Subjects: Logic in Computer Science (cs.LO)

[3] arXiv:1609.00132 [pdf, other]

Title: Axiomatization of if-then-else over possibly non-halting programs and tests

Gayatri Panicker, K. V. Krishna, Purandar Bhaduri

Subjects: Logic in Computer Science (cs.LO)

[4] arXiv:1609.00195 [pdf, other]

Title: Designing a semantic model for a wide-spectrum language with concurrency

Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke

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

[5] arXiv:1609.00322 [pdf, other]

Title: Open Call-by-Value (Extended Version)

Beniamino Accattoli, Giulio Guerrieri

Subjects: Logic in Computer Science (cs.LO)

[6] arXiv:1609.00507 [pdf, other]

Title: The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results

Swen Jacobs (Saarland University), Roderick Bloem (Graz University of Technology), Romain Brenguier (University of Oxford), Ayrat Khalimov (Graz University of Technology), Felix Klein (Saarland University), Robert Könighofer (Graz University of Technology), Jens Kreber (Saarland University), Alexander Legg (Data 61, CSIRO (formerly NICTA) and UNSW), Nina Narodytska (Samsung Research America), Guillermo A. Pérez (Université Libre de Bruxelles), Jean-François Raskin (Université Libre de Bruxelles), Leonid Ryzhyk (Samsung Research America), Ocan Sankur (CNRS, Irisa), Martina Seidl (Johannes-Kepler-University Linz), Leander Tentrup (Saarland University), Adam Walker (Independent Researcher)

Comments: In Proceedings SYNT 2016, arXiv:1611.07178

Journal-ref: EPTCS 229, 2016, pp. 149-177

Subjects: Logic in Computer Science (cs.LO)

[7] arXiv:1609.00919 [pdf, other]

Title: Automated Mutual Explicit Induction Proof in Separation Logic

Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin

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

[8] arXiv:1609.01220 [pdf, other]

Title: An implementation of Deflate in Coq

Christoph-Simon Senjak, Martin Hofmann

Subjects: Logic in Computer Science (cs.LO)

[9] arXiv:1609.01493 [pdf, other]

Title: Axiomatizing Category Theory in Free Logic

Christoph Benzmüller, Dana S. Scott

Comments: 17 pages

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

[10] arXiv:1609.01789 [pdf, other]

Title: Bounded degree and planar spectra

Anuj Dawar, Eryk Kopczyński

Comments: 21 pages. Accepted for publication in Logical Methods in Computer Science

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 4 (November 6, 2017) lmcs:2024

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

[11] arXiv:1609.02320 [pdf, other]

Title: Distributed agent-based automated theorem proving in order-sorted first-order logic

Dohan Kim

Comments: 14 pages

Subjects: Logic in Computer Science (cs.LO)

[12] arXiv:1609.02753 [pdf, other]

Title: Typing weak MSOL properties

Sylvain Salvati, Igor Walukiewicz

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 1 (March 23, 2017) lmcs:3215

Subjects: Logic in Computer Science (cs.LO)

[13] arXiv:1609.03014 [pdf, other]

Title: Proceedings 9th International Workshop on Computing with Terms and Graphs

Andrea Corradini (Pisa), Hans Zantema (Eindhoven)

Journal-ref: EPTCS 225, 2016

Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[14] arXiv:1609.03139 [pdf, other]

Title: A Short Mechanized Proof of the Church-Rosser Theorem by the Z-property for the $\lambda\beta$-calculus in Nominal Isabelle

Julian Nagele, Vincent van Oostrom, Christian Sternagel

Comments: 5th International Workshop on Confluence

Journal-ref: In Proceedings of the 5th International Workshop on Confluence, pages 55 - 59, 2016

Subjects: Logic in Computer Science (cs.LO)

[15] arXiv:1609.03190 [pdf, other]

Title: On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC

Federico Aschieri (Technische Universität Wien)

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 3 (April 27, 2017) lmcs:2048

Subjects: Logic in Computer Science (cs.LO)

[16] arXiv:1609.03338 [pdf, other]

Title: Knowing Values and Public Inspection

Jan van Eijck, Malvin Gattinger, Yanjing Wang

Subjects: Logic in Computer Science (cs.LO)

[17] arXiv:1609.03341 [pdf, other]

Title: Formalized Confluence of Quasi-Decreasing, Strongly Deterministic Conditional TRSs

Thomas Sternagel, Christian Sternagel

Comments: IWC 2016

Subjects: Logic in Computer Science (cs.LO)

[18] arXiv:1609.03345 [pdf, other]

Title: A Characterization of Quasi-Decreasingness

Thomas Sternagel, Christian Sternagel

Comments: WST 2016

Subjects: Logic in Computer Science (cs.LO)

[19] arXiv:1609.03432 [pdf, other]

Title: The Generalized Subterm Criterion in TTT2

Christian Sternagel

Comments: In Proceedings of 15th International Workshop on Termination (WST 2016)

Subjects: Logic in Computer Science (cs.LO)

[20] arXiv:1609.03438 [pdf, other]

Title: Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer

Journal-ref: Artificial Intelligence 256 (2018) 68-104

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

[21] arXiv:1609.03642 [pdf, other]

Title: Kruskal's Tree Theorem for Acyclic Term Graphs

Georg Moser (Universität Innsbruck, Austria), Maria A. Schett (Universität Innsbruck, Austria)

Comments: In Proceedings TERMGRAPH 2016, arXiv:1609.03014

Journal-ref: EPTCS 225, 2016, pp. 25-34

Subjects: Logic in Computer Science (cs.LO)

[22] arXiv:1609.03644 [pdf, other]

Title: Token-passing Optimal Reduction with Embedded Read-back

Anton Salikhmetov

Comments: In Proceedings TERMGRAPH 2016, arXiv:1609.03014

Journal-ref: EPTCS 225, 2016, pp. 45-54

Subjects: Logic in Computer Science (cs.LO)

[23] arXiv:1609.03648 [pdf, other]

Title: Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification

Domenico Cantone (University of Catania), Giorgio Delzanno (University of Genova)

Journal-ref: EPTCS 226, 2016

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

[24] arXiv:1609.04085 [pdf, other]

Title: Partial Solvers for Parity Games: Effective Polynomial-Time Composition

Patrick Ah-Fat (Imperial College London), Michael Huth (Imperial College London)

Comments: In Proceedings GandALF 2016, arXiv:1609.03648

Journal-ref: EPTCS 226, 2016, pp. 1-15

Subjects: Logic in Computer Science (cs.LO)

[25] arXiv:1609.04086 [pdf, other]

Title: Relation-Changing Logics as Fragments of Hybrid Logics

Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel

Comments: In Proceedings GandALF 2016, arXiv:1609.03648

Journal-ref: EPTCS 226, 2016, pp. 16-29

Subjects: Logic in Computer Science (cs.LO)

[26] arXiv:1609.04088 [pdf, other]

Title: Games for Topological Fixpoint Logic

Nick Bezhanishvili (ILLC, University of Amsterdam), Clemens Kupke (University of Strathclyde)

Comments: In Proceedings GandALF 2016, arXiv:1609.03648

Journal-ref: EPTCS 226, 2016, pp. 46-60

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

[27] arXiv:1609.04090 [pdf, other]

Title: Model Checking the Logic of Allen's Relations Meets and Started-by is $P^NP$-Complete

Laura Bozzelli (Technical University of Madrid (UPM), Spain), Alberto Molinari (University of Udine, Italy), Angelo Montanari (University of Udine, Italy), Adriano Peron (University of Napoli "Federico II", Italy), Pietro Sala (University of Verona, Italy)

Comments: In Proceedings GandALF 2016, arXiv:1609.03648

Journal-ref: EPTCS 226, 2016, pp. 76-90

Subjects: Logic in Computer Science (cs.LO)

[28] arXiv:1609.04091 [pdf, other]

Title: On the Expressive Power of Sub-Propositional Fragments of Modal Logic

Davide Bresolin (University of Bologna), Emilio Muñoz-Velasco (University of Malaga), Guido Sciavicco (University of Ferrara)

Comments: In Proceedings GandALF 2016, arXiv:1609.03648

Journal-ref: EPTCS 226, 2016, pp. 91-104

Subjects: Logic in Computer Science (cs.LO)

[29] arXiv:1609.04092 [pdf, other]

Title: Alternation Is Strict For Higher-Order Modal Fixpoint Logic

Florian Bruse (Universität Kassel)

Comments: In Proceedings GandALF 2016, arXiv:1609.03648

Journal-ref: EPTCS 226, 2016, pp. 105-119

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

[30] arXiv:1609.04093 [pdf, other]

Title: A Canonical Model Construction for Iteration-Free PDL with Intersection

Florian Bruse (University of Kassel), Daniel Kernberger (University of Kassel), Martin Lange (University of Kassel)

Comments: In Proceedings GandALF 2016, arXiv:1609.03648

Journal-ref: EPTCS 226, 2016, pp. 120-134

Subjects: Logic in Computer Science (cs.LO)

[31] arXiv:1609.04094 [pdf, other]

Title: Weighted Linear Dynamic Logic

Manfred Droste (Leipzig, Germany), George Rahonis (Thessaloniki, Greece)

Comments: In Proceedings GandALF 2016, arXiv:1609.03648

Journal-ref: EPTCS 226, 2016, pp. 149-163

Subjects: Logic in Computer Science (cs.LO)

[32] arXiv:1609.04095 [pdf, other]

Title: Cycle Detection in Computation Tree Logic

Gaëlle Fontaine (Universidad de Chile), Fabio Mogavero (University of Oxford), Aniello Murano (University of Naples), Giuseppe Perelli (University of Oxford), Loredana Sorrentino (University of Naples)

Comments: In Proceedings GandALF 2016, arXiv:1609.03648

Journal-ref: EPTCS 226, 2016, pp. 164-177

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

[33] arXiv:1609.04097 [pdf, other]

Title: On Quantified Propositional Logics and the Exponential Time Hierarchy

Miika Hannula (Department of Computer Science, The University of Auckland), Juha Kontinen (Department of Mathematics and Statistics, University of Helsinki), Martin Lück (Institut für Theoretische Informatik, Leibniz Universität Hannover), Jonni Virtema (Department of Mathematics and Statistics, University of Helsinki)

Comments: In Proceedings GandALF 2016, arXiv:1609.03648

Journal-ref: EPTCS 226, 2016, pp. 198-212

Subjects: Logic in Computer Science (cs.LO)

[34] arXiv:1609.04100 [pdf, other]

Title: Certification of Prefixed Tableau Proofs for Modal Logic

Tomer Libal (Inria), Marco Volpe (Inria)

Comments: In Proceedings GandALF 2016, arXiv:1609.03648

Journal-ref: EPTCS 226, 2016, pp. 257-271

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:1609.04102 [pdf, other]

Title: A New Rule for LTL Tableaux

Mark Reynolds (UWA)

Comments: In Proceedings GandALF 2016, arXiv:1609.03648

Journal-ref: EPTCS 226, 2016, pp. 287-301

Subjects: Logic in Computer Science (cs.LO)

[36] arXiv:1609.04176 [pdf, other]

Title: Liveness of Parameterized Timed Networks

Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger

Subjects: Logic in Computer Science (cs.LO)

[37] arXiv:1609.04371 [pdf, other]

Title: Finite LTL Synthesis is EXPTIME-complete

Jorge A. Baier, Alberto Camacho, Christian Muise, Sheila A. McIlraith

Comments: We withdraw this paper because of an error in the proof

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

[38] arXiv:1609.04693 [pdf, other]

Title: MALL proof nets identify proofs modulo rule commutation

Rob van Glabbeek, Dominic Hughes

Subjects: Logic in Computer Science (cs.LO)

[39] arXiv:1609.05079 [pdf, other]

Title: Explicit Computational Paths

Arthur Freitas Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira

Comments: 45 pages (2 pages - appendix)

Subjects: Logic in Computer Science (cs.LO)

[40] arXiv:1609.05207 [pdf, other]

Title: Geometric Nontermination Arguments

Jan Leike, Matthias Heizmann

Comments: 18 pages

Subjects: Logic in Computer Science (cs.LO)

[41] arXiv:1609.05385 [pdf, other]

Title: Reachability for dynamic parametric processes

Anca Muscholl, Helmut Seidl, Igor Walukiewicz

Comments: 31 pages

Subjects: Logic in Computer Science (cs.LO)

[42] arXiv:1609.05621 [pdf, other]

Title: Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification

Franz Baader, Stefan Borgwardt, Barbara Morawska (Technische Universität Dresden)

Comments: 32 pages, extended version of a paper from RTA'15

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 4 (April 27, 2017) lmcs:2063

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

[43] arXiv:1609.05686 [pdf, other]

Title: The Undecidability of Arbitrary Arrow Update Logic

Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer

Subjects: Logic in Computer Science (cs.LO)

[44] arXiv:1609.05847 [pdf, other]

Title: A syntactic proof of decidability for the logic of bunched implication BI

Revantha Ramanayake

Subjects: Logic in Computer Science (cs.LO)

[45] arXiv:1609.05952 [pdf, other]

Title: Window Parity Games: An Alternative Approach Toward Parity Games with Time Bounds (Full Version)

Véronique Bruyère, Quentin Hautem, Mickael Randour

Comments: Full version of GandALF 2016 paper (arXiv:1606.01831v2), same as arXiv:1606.01831v1

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

[46] arXiv:1609.06297 [pdf, other]

Title: A Generalization of the {\L}o\'s-Tarski Preservation Theorem

Abhisekh Sankaran

Comments: 180 pages, 8 figures, Ph.D. dissertation, Indian Institute of Technology (IIT) Bombay, August 2016

Subjects: Logic in Computer Science (cs.LO)

[47] arXiv:1609.06379 [pdf, other]

Title: Global Caching for the Alternation-free $\mu$-Calculus

Daniel Hausmann, Lutz Schröder, Christoph Egger

Subjects: Logic in Computer Science (cs.LO)

[48] arXiv:1609.06513 [pdf, other]

Title: Model Checking Spatial Logics for Closure Spaces

Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 4 (April 27, 2017) lmcs:2067

Subjects: Logic in Computer Science (cs.LO)

[49] arXiv:1609.06951 [pdf, other]

Title: Model Checking and Validity in Propositional and Modal Inclusion Logics

Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema

Subjects: Logic in Computer Science (cs.LO)

[50] arXiv:1609.07065 [pdf, other]

Title: Termination of Cycle Rewriting by Transformation and Matrix Interpretation

David Sabel, Hans Zantema

Comments: 38 pages, 1 figure

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 1 (March 17, 2017) lmcs:3206

Subjects: Logic in Computer Science (cs.LO)

[51] arXiv:1609.07254 [pdf, other]

Title: Taking a Detour to Zero: An Alternative Formalization of Functions Beyond PR

David M. Cerna

Comments: Remains too incomplete and I would like to avoid future reference to this work

Subjects: Logic in Computer Science (cs.LO)

[52] arXiv:1609.07593 [pdf, other]

Title: Combinatorics of $\lambda$-terms: a natural approach

Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc

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

[53] arXiv:1609.07684 [pdf, other]

Title: Axiomatization and complexity of modal logic with knowing-what operator on model class K

Yifeng Ding

Subjects: Logic in Computer Science (cs.LO)

[54] arXiv:1609.07895 [pdf, other]

Title: Interaction Graphs: Nondeterministic Automata

Thomas Seiller

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

[55] arXiv:1609.07972 [pdf, other]

Title: A Framework for Algebraic Characterizations in Recursive Analysis

Olivier Bournez, Walid Gomaa, Emmanuel Hainry

Comments: 38 pages

Subjects: Logic in Computer Science (cs.LO)

[56] arXiv:1609.08367 [pdf, other]

Title: Stream Differential Equations: Specification Formats and Solution Methods

Helle Hvid Hansen, Clemens Kupke, Jan Rutten

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 1 (February 3, 2017) lmcs:3118

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

[57] arXiv:1609.08916 [pdf, other]

Title: Encoding Monomorphic and Polymorphic Types

Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu, Nicholas Smallbone

Comments: LMCS-2014-1018

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 4 (April 27, 2017) lmcs:2628

Subjects: Logic in Computer Science (cs.LO)

[58] arXiv:1609.09288 [pdf, other]

Title: Formula Slicing: Inductive Invariants from Preconditions

Egor George Karpenkov, David Monniaux

Subjects: Logic in Computer Science (cs.LO)

[59] arXiv:1609.09675 [pdf, other]

Title: Algebraic and logical descriptions of generalized trees

Bruno Courcelle

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 3 (July 28, 2017) lmcs:2050

Subjects: Logic in Computer Science (cs.LO)

[60] arXiv:1609.09783 [pdf, other]

Title: Five Basic Concepts of Axiomatic Rewriting Theory

Paul-André Melliès

Comments: 6 pages, 4 figures, Invited talk at the International Workshop on Confluence, Obergurgl 2016

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

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

Title: Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)

Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham

Comments: 14 pages

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

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

Title: A Generic Logic for Proving Linearizability (Extended Version)

Artem Khyzha, Alexey Gotsman, Matthew Parkinson

Comments: Formal Methods 2016

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

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

Title: Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation

Yuqi Chen, Christopher M. Poskitt, Jun Sun

Comments: Short paper accepted by the 21st International Symposium on Formal Methods (FM 2016)

Journal-ref: In Proc. International Symposium on Formal Methods (FM 2016), volume 9995 of LNCS, pages 155-163. Springer, 2016

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

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

Title: Equilibrium Graphs

Pedro Cabalar, Carlos Pérez, Gilberto Pérez

Comments: Paper presented at the 9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016), New York City, USA, 16 October 2016

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

[65] arXiv:1609.02664 (cross-list from cs.LG) [pdf, other]

Title: Machine Learning with Guarantees using Descriptive Complexity and SMT Solvers

Charles Jordan, Łukasz Kaiser

Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

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

Title: The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication

Martín Abadi, Bruno Blanchet, Cédric Fournet

Comments: 104 pages

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

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

Title: First-Order Bayesian Network Specifications Capture the Complexity Class PP

Fabio Gagliardi Cozman

Comments: 7 pages, 1 figure

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

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

Title: Logical Induction

Scott Garrabrant, Tsvi Benson-Tilsen, Andrew Critch, Nate Soares, Jessica Taylor

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

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

Title: Compiling Process Networks to Interaction Nets

Ian Mackie (LIX, Ecole Polytechnique)

Comments: In Proceedings TERMGRAPH 2016, arXiv:1609.03014

Journal-ref: EPTCS 225, 2016, pp. 5-14

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

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

Title: In-place Graph Rewriting with Interaction Nets

Ian Mackie (LIX, Ecole Polytechnique, France), Shinya Sato (Ibaraki University, Japan)

Comments: In Proceedings TERMGRAPH 2016, arXiv:1609.03014

Journal-ref: EPTCS 225, 2016, pp. 15-24

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

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

Title: Reasoning about Graph Programs

Detlef Plump (The University of York, United Kingdom)

Comments: In Proceedings TERMGRAPH 2016, arXiv:1609.03014

Journal-ref: EPTCS 225, 2016, pp. 35-44

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

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

Title: Multi-Buffer Simulations for Trace Language Inclusion

Milka Hutagalung (Universität Kassel), Norbert Hundeshagen (Universität Kassel), Dietrich Kuske (Technische Universität Ilmenau), Martin Lange (Universität Kassel), Etienne Lozes (ENS Cachan)

Comments: In Proceedings GandALF 2016, arXiv:1609.03648

Journal-ref: EPTCS 226, 2016, pp. 213-227

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

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

Title: Solving the Wastewater Treatment Plant Problem with SMT

Miquel Bofill, Víctor Muñoz, Javier Murillo

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

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

Title: Temporal Logic Programs with Variables

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)

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

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

Title: The Complexity of Flat Freeze LTL

Benedikt Bollig, Karin Quaas, Arnaud Sangnier

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 3 (September 30, 2019) lmcs:4657

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

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

Title: Nested Words for Order-2 Pushdown Systems

C. Aiswarya, Paul Gastin, Prakash Saivasan

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

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

Title: Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery

Mohammad Amin Alipour, Alex Groce, Chaoqiang Zhang, Anahita Sanadaji, Gokul Caushik

Comments: 6 pages

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

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

Title: A Logic of Knowing Why

Chao Xu, Yanjing Wang, Thomas Studer

Comments: 34 pages, submitted, a new section added

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

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

Title: Semiring Programming: A Declarative Framework for Generalized Sum Product Problems

Vaishak Belle, Luc De Raedt

Comments: In AAAI Workshop: Statistical Relational Artificial Intelligence, 2020

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

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

Title: Minkowski games

Stéphane Le Roux, Arno Pauly, Jean-François Raskin

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

[81] arXiv:1609.07127 (cross-list from cs.SI) [pdf, other]

Title: Social Network Processes in the Isabelle and Coq Theorem Proving Communities

Jacques Fleuriot, Steven Obua, Phil Scott

Comments: 15 pages, 13 figures, Research supported by EPSRC grant EP/L011794/1

Subjects: Social and Information Networks (cs.SI); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Physics and Society (physics.soc-ph)

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

Title: Logics for Propositional Determinacy and Independence

Valentin Goranko, Antti Kuusisto

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

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

Title: Proving Linearizability via Branching Bisimulation

Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Hao Wu

Comments: In this paper, we conducted the experiment on 13 popular concurrent data structures yielding promising results

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

[84] arXiv:1609.08419 (cross-list from cs.SD) [pdf, other]

Title: Decision Making Based on Cohort Scores for Speaker Verification

Lantian Li, Renyu Wang, Gang Wang, Caixia Wang, Thomas Fang Zheng

Comments: APSIPA ASC 2016

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

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

Title: An Empirical Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems

Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce

Comments: 84 pages including 4 appendices, journal paper

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

[86] arXiv:1609.09269 (cross-list from cs.SC) [pdf, other]

Title: Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition

Matthew England, James H. Davenport

Comments: Presented at the 1st International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2016)

Journal-ref: Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation (SC2 '16), E. Abraham, J.H. Davenport and P. Fontaine eds. CEUR Workshop Proceedings 1804, 2016. http://ceur-ws.org/Vol-1804/

Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)

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

Title: On the Complexity of Bounded Context Switching

Peter Chini, Jonathan Kolberg, Andreas Krebs, Roland Meyer, Prakash Saivasan

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