Logic in Computer Science

Authors and titles for June 2015

[1] arXiv:1506.00482 [pdf, other]

Title: Learning Regular Languages over Large Ordered Alphabets

Irini-Eleftheria Mens (CNRS-VERIMAG), Oded Maler (CNRS-VERIMAG)

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 3 (September 17, 2015) lmcs:1589

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

[2] arXiv:1506.01001 [pdf, other]

Title: Linear Types Can Change the Blockchain

Lucius Gregory Meredith

Subjects: Logic in Computer Science (cs.LO)

[3] arXiv:1506.01296 [pdf, other]

Title: Circuit Complexity Meets Ontology-Based Data Access

Vladimir V. Podolskii

Comments: To appear in proceedings of CSR 2015, LNCS 9139, Springer

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

[4] arXiv:1506.01476 [pdf, other]

Title: The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations

Domenico Cantone, Marianna Nicolosi-Asmundo

Subjects: Logic in Computer Science (cs.LO)

[5] arXiv:1506.01602 [pdf, other]

Title: A Concurrency Problem with Exponential DPLL(T) Proofs

Liana Hadarean, Alex Horn, Tim King

Subjects: Logic in Computer Science (cs.LO)

[6] arXiv:1506.01762 [pdf, other]

Title: Monitoring Bounded LTL Properties Using Interval Analysis

Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn

Comments: Appeared in NSV'15

Subjects: Logic in Computer Science (cs.LO); Systems and Control (eess.SY); Numerical Analysis (math.NA)

[7] arXiv:1506.01872 [pdf, other]

Title: Logics of Essence and Accident

Jie Fan

Comments: under submission. arXiv admin note: substantial text overlap with arXiv:1505.03950

Subjects: Logic in Computer Science (cs.LO)

[8] arXiv:1506.01930 [pdf, other]

Title: On the Hardness of Almost-Sure Termination

Benjamin Lucien Kaminski, Joost-Pieter Katoen

Comments: MFCS 2015. arXiv admin note: text overlap with arXiv:1410.7225

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

[9] arXiv:1506.02367 [pdf, other]

Title: A natural counting of lambda terms

Maciej Bendkowski (TCS), Katarzyna Grygiel (TCS), Pierre Lescanne (TCS, LIP), Marek Zaionc (TCS)

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

[10] arXiv:1506.02483 [pdf, other]

Title: On the Hardness of PCTL Satisfiability

Souymodip Chakraborty, Joost-Pieter Katoen

Comments: This paper has been withdrawn by the author due to a crucial error in Theorem 2

Subjects: Logic in Computer Science (cs.LO)

[11] arXiv:1506.02721 [pdf, other]

Title: On the Groupoid Model of Computational Paths

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

Comments: 12 pages + 2 appendix

Subjects: Logic in Computer Science (cs.LO)

[12] arXiv:1506.02812 [pdf, other]

Title: A study on central soft sets: Definitions and basic operations

Xuechong Guan

Subjects: Logic in Computer Science (cs.LO)

[13] arXiv:1506.03266 [pdf, other]

Title: The Attack as Strong Negation, Part I

Dov Gabbay, Michael Gabbay

Subjects: Logic in Computer Science (cs.LO)

[14] arXiv:1506.03555 [pdf, other]

Title: Automatic Generation of Minimal Cut Sets

Sentot Kromodimoeljo (University of Queensland), Peter A. Lindsay (University of Queensland)

Comments: In Proceedings ESSS 2015, arXiv:1506.03250

Journal-ref: EPTCS 184, 2015, pp. 33-47

Subjects: Logic in Computer Science (cs.LO)

[15] arXiv:1506.03710 [pdf, other]

Title: On Equivalences, Metrics, and Polynomial Time (Long Version)

Alberto Cappai, Ugo Dal Lago

Subjects: Logic in Computer Science (cs.LO)

[16] arXiv:1506.03930 [pdf, other]

Title: Complete relations on fuzzy complete lattices

Jan Konecny, Michal Krupka

Comments: Preprint submitted to Fuzzy Sets and Systems

Subjects: Logic in Computer Science (cs.LO)

[17] arXiv:1506.03943 [pdf, other]

Title: The computability path ordering

Frédéric Blanqui (INRIA), Jean-Pierre Jouannaud (Ecole Polytechnique, Université Paris-Sud, Tsinghua University), Albert Rubio (Technical University of Catalonia)

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 4 (October 26, 2015) lmcs:1604

Subjects: Logic in Computer Science (cs.LO)

[18] arXiv:1506.04349 [pdf, other]

Title: Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value

Santiago Hernández-Orozco, Francisco Hernández-Quiroz, Hector Zenil, Wilfried Sieg

Comments: 14 pages, 7 figures

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

[19] arXiv:1506.04871 [pdf, other]

Title: Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic

Marco Bozzano (Fondazione Bruno Kessler), Alessandro Cimatti (Fondazione Bruno Kessler), Marco Gario (Fondazione Bruno Kessler), Stefano Tonetta (Fondazione Bruno Kessler)

Comments: 33 pages, 20 figures

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

Subjects: Logic in Computer Science (cs.LO)

[20] arXiv:1506.04879 [pdf, other]

Title: Compositional Verification for Timed Systems Based on Automatic Invariant Generation

Lacramioara Astefanoaei (UJF, Verimag), Souha Ben Rayana (UJF, Verimag), Saddek Bensalem (UJF, Verimag), Marius Bozga (CNRS, Verimag), Jacques Combaz (CNRS, Verimag)

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 3 (September 17, 2015) lmcs:1591

Subjects: Logic in Computer Science (cs.LO)

[21] arXiv:1506.04998 [pdf, other]

Title: Semi-simplicial Types in Logic-enriched Homotopy Type Theory

Fedor Part, Zhaohui Luo

Subjects: Logic in Computer Science (cs.LO)

[22] arXiv:1506.05043 [pdf, other]

Title: Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order (Long Version)

Martin Avanzini, Ugo Dal Lago, Georg Moser

Comments: Long version of paper presented at ICFP 2015

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

[23] arXiv:1506.05605 [pdf, other]

Title: Asynchronous processing of Coq documents: from the kernel up to the user interface

Bruno Barras, Carst Tankink (SPECFUN), Enrico Tassi (MARELLE)

Comments: in Proceedings of ITP, Aug 2015, Nanjing, China

Subjects: Logic in Computer Science (cs.LO); Mathematical Software (cs.MS)

[24] arXiv:1506.05671 [pdf, other]

Title: Safety Verification and Refutation by k-invariants and k-induction (extended version)

Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel

Comments: extended version of paper published at SAS'15

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

[25] arXiv:1506.05728 [pdf, other]

Title: A CEGAR-like Approach for Cost LTL Bounds

Maximilien Colange, Dimitri Racordon, Didier Buchs

Comments: 17 pages

Subjects: Logic in Computer Science (cs.LO)