We gratefully acknowledge support from
the Simons Foundation
and member institutions

Logic in Computer Science

Authors and titles for cs.LO in Nov 2015, skipping first 25

[ total of 56 entries: 1-25 | 26-50 | 51-56 ]
[ showing 25 entries per page: fewer | more | all ]
[26]  arXiv:1511.04271 [pdf, ps, other]
Title: Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA
Subjects: Logic in Computer Science (cs.LO)
[27]  arXiv:1511.05334 [pdf, other]
Title: Counting and Generating Terms in the Binary Lambda Calculus (Extended version)
Authors: Katarzyna Grygiel (TCS), Pierre Lescanne (TCS, LIP)
Comments: extended version of arXiv:1401.0379
Journal-ref: J. Funct. Prog. 25 (2015) e24
Subjects: Logic in Computer Science (cs.LO)
[28]  arXiv:1511.05750 [pdf, other]
Title: Contextual equivalences in configuration structures and reversibility
Authors: Clément Aubert (LACL), Ioana Cristescu (PPS)
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO)
[29]  arXiv:1511.05866 [pdf, other]
Title: Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically
Authors: Diego Latella (CNR-ISTI), Mieke Massink (CNR-ISTI), Erik P De Vink (Eindhoven University of Technology - Department of Mathematics and Computer Science)
Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 4 (December 22, 2015) lmcs:1617
Subjects: Logic in Computer Science (cs.LO)
[30]  arXiv:1511.05888 [pdf, ps, other]
Title: Preservation and decomposition theorems for bounded degree structures
Authors: Frederik Harwath (Goethe-UniversitÃt Frankfurt am Main), Lucas Heimberg (Humboldt-UniversitÃt zu Berlin), Nicole Schweikardt (Humboldt-UniversitÃt zu Berlin)
Comments: 42 pages and 3 figures. This is the full version of: Frederik Harwath, Lucas Heimberg, and Nicole Schweikardt. Preservation and decomposition theorems for bounded degree structures. In Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS'14, pages 49:1-49:10. ACM, 2014
Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 4 (December 29, 2015) lmcs:1618
Subjects: Logic in Computer Science (cs.LO)
[31]  arXiv:1511.06668 [pdf, other]
Title: Solving non-linear Horn clauses using a linear solver
Authors: Bishoksan Kafle
Subjects: Logic in Computer Science (cs.LO)
[32]  arXiv:1511.07319 [pdf, ps, other]
Title: A Note on Flagg and Friedman's Epistemic and Intuitionistic Formal Systems
Comments: Under evaluation by Annals of Pure and Applied Logic
Subjects: Logic in Computer Science (cs.LO)
[33]  arXiv:1511.07536 [pdf, other]
Title: A Symbolic Logic with Concrete Bounds for Cryptographic Protocols
Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR)
[34]  arXiv:1511.07865 [pdf, ps, other]
Title: Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic
Comments: A working draft
Subjects: Logic in Computer Science (cs.LO)
[35]  arXiv:1511.08447 [pdf, ps, other]
Title: Decidability and Complexity for Quiescent Consistency and its Variations
Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL)
[36]  arXiv:1511.08605 [pdf, ps, other]
Title: Fly-automata for checking MSO 2 graph properties
Authors: Bruno Courcelle (LaBRI)
Comments: Submitted for publication in December 2015
Subjects: Logic in Computer Science (cs.LO)
[37]  arXiv:1511.08851 [pdf, ps, other]
Title: The Algebra of Recursive Graph Transformation Language UnCAL: Complete Axiomatisation and Iteration Categorical Semantics
Comments: 53 pages, to appear in MSCS
Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB)
[38]  arXiv:1511.08999 [pdf, ps, other]
Title: Deciding First-Order Satisfiability when Universal and Existential Variables are Separated
Comments: Extended version of our LICS 2016 conference paper, 23 pages
Subjects: Logic in Computer Science (cs.LO)
[39]  arXiv:1511.09186 [pdf, ps, other]
Title: An Algebraic Approach for Approximity
Authors: Yong Wang
Subjects: Logic in Computer Science (cs.LO)
[40]  arXiv:1511.09230 [pdf, other]
Title: A Type Theory for Probabilistic and Bayesian Reasoning
Comments: 38 pages
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO); Probability (math.PR)
[41]  arXiv:1511.09324 [pdf, ps, other]
Title: Isomorphisms considered as equalities: Projecting functions and enhancing partial application through and implementation of lambda+
Comments: A prototype writen in Haskell can be found at this http URL
Journal-ref: ACM Proceedings of IFL'15(9), 2015
Subjects: Logic in Computer Science (cs.LO)
[42]  arXiv:1511.09394 [pdf, ps, other]
Title: Proof Relevant Corecursive Resolution
Comments: 23 pages, with appendices in FLOPS 2016
Subjects: Logic in Computer Science (cs.LO)
[43]  arXiv:1511.09450 [pdf, ps, other]
Title: Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time
Comments: In Proceedings GandALF 2016, arXiv:1609.03648
Journal-ref: EPTCS 226, 2016, pp. 302-315
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[44]  arXiv:1511.00384 (cross-list from cs.DB) [pdf, ps, other]
Title: Z Specification for the W3C Editor's Draft Core SHACL Semantics
Authors: Arthur Ryman
Comments: 57 pages, Invited Expert contribution to the W3C RDF Data Shapes Working Group
Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[45]  arXiv:1511.00523 (cross-list from cs.GT) [pdf, ps, other]
Title: Minimizing Regret in Discounted-Sum Games
Comments: arXiv admin note: text overlap with arXiv:1504.01708; some typos have been removed in the proof of simple strategies being sufficient to minimize regret against any adversary
Subjects: Computer Science and Game Theory (cs.GT); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[46]  arXiv:1511.00754 (cross-list from cs.SE) [pdf, ps, other]
Title: PAC Learning-Based Verification and Model Synthesis
Comments: 11 pages
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[47]  arXiv:1511.02629 (cross-list from cs.PL) [pdf, ps, other]
Title: Normalisation by Traversals
Authors: C.-H. Luke Ong
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[48]  arXiv:1511.04172 (cross-list from cs.FL) [pdf, other]
Title: Timed Automata for Modelling Caches and Pipelines
Authors: Franck Cassez (Macquarie University, Sydney, Australia), Pablo González de Aledo Marugán (University of Cantabria, Santander, Spain)
Comments: In Proceedings MARS 2015, arXiv:1511.02528
Journal-ref: EPTCS 196, 2015, pp. 37-45
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[49]  arXiv:1511.07663 (cross-list from cs.AI) [pdf, other]
Title: Approximate Probabilistic Inference via Word-Level Counting
Comments: Full version of AAAI 2016 paper
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[50]  arXiv:1511.08049 (cross-list from cs.SE) [pdf, other]
Title: Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[ total of 56 entries: 1-25 | 26-50 | 51-56 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)