We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic in Computer Science

Authors and titles for cs.LO in Apr 2014, skipping first 25

[ total of 98 entries: 1-25 | 26-50 | 51-75 | 76-98 ]
[ showing 25 entries per page: fewer | more | all ]
[26]  arXiv:1404.3633 [pdf, other]
Title: The ZX-calculus is incomplete for quantum mechanics
Authors: Christian Schröder de Witt, Vladimir Zamdzhiev (University of Oxford)
Comments: In Proceedings QPL 2014, arXiv:1412.8102
Journal-ref: EPTCS 172, 2014, pp. 285-292
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Quantum Physics (quant-ph)
[27]  arXiv:1404.4827 [pdf, ps, other]
Title: $μ$-calculus on data words
Subjects: Logic in Computer Science (cs.LO)
[28]  arXiv:1404.4856 [pdf, ps, other]
Title: Quantitative games with interval objectives
Comments: Full version of CONCUR submission
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)
[29]  arXiv:1404.5084 [pdf, ps, other]
Title: Probabilistic Bisimulation: Naturally on Distributions
Subjects: Logic in Computer Science (cs.LO)
[30]  arXiv:1404.5157 [pdf, other]
Title: Trace Inclusion for One-Counter Nets Revisited
Subjects: Logic in Computer Science (cs.LO)
[31]  arXiv:1404.5267 [pdf, ps, other]
Title: Lax functors and coalgebraic weak bisimulation
Authors: Tomasz Brengos
Comments: 32 pages
Subjects: Logic in Computer Science (cs.LO)
[32]  arXiv:1404.5439 [pdf, ps, other]
Title: A Logical Framework for Systems Biology
Authors: Elisabetta De Maria, Joelle Despeyroux (INRIA and CNRS), Amy Felty (EECS, Ottawa)
Comments: (2014)
Subjects: Logic in Computer Science (cs.LO); Other Quantitative Biology (q-bio.OT)
[33]  arXiv:1404.5453 [pdf, ps, other]
Title: Games with a Weak Adversary
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)
[34]  arXiv:1404.5665 [pdf, other]
Title: ILP Modulo Data
Comments: FMCAD 2014 final version plus proofs
Subjects: Logic in Computer Science (cs.LO)
[35]  arXiv:1404.6037 [pdf, ps, other]
Title: Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus
Authors: Ryuta Arisaka (INRIA Saclay - Ile de France)
Subjects: Logic in Computer Science (cs.LO)
[36]  arXiv:1404.6064 [pdf, other]
Title: Ordered Navigation on Multi-attributed Data Words
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[37]  arXiv:1404.6186 [pdf, other]
Title: ProofPeer: Collaborative Theorem Proving
Subjects: Logic in Computer Science (cs.LO)
[38]  arXiv:1404.6196 [pdf, ps, other]
Title: Proving Termination of Unfolding Graph Rewriting for General Safe Recursion
Authors: Naohi Eguchi
Comments: Technical report
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO)
[39]  arXiv:1404.6228 [pdf, other]
Title: Synthesising Succinct Strategies in Safety Games
Comments: 25 pags, 4 figures, 2 algorithms. Submitted
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)
[40]  arXiv:1404.6245 [pdf, ps, other]
Title: A Unified Ordering for Termination Proving
Comments: 38 pages, revised version submitted to SCP
Subjects: Logic in Computer Science (cs.LO)
[41]  arXiv:1404.6277 [pdf, ps, other]
Title: Piecewise Boolean algebras and their domains
Authors: Chris Heunen
Comments: 11 pages
Journal-ref: Proceedings of the 41st International Colloquium on Automata, Languages and Programming, Springer Lecture Notes in Computer Science 8573:208-219, 2014
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[42]  arXiv:1404.6368 [pdf, ps, other]
Title: Inference in the FO(C) Modelling Language
Comments: The paper appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)
Subjects: Logic in Computer Science (cs.LO)
[43]  arXiv:1404.6394 [pdf, ps, other]
Title: FO(C) and Related Modelling Paradigms
Comments: This paper appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)
Subjects: Logic in Computer Science (cs.LO)
[44]  arXiv:1404.6487 [pdf, other]
Title: Computability of 1-manifolds
Authors: Konrad Burnik (University of Zagreb), Zvonko Iljazovic (University of Zagreb)
Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 2 (June 12, 2014) lmcs:961
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[45]  arXiv:1404.6605 [pdf, other]
Title: SPEEDY: An Eclipse-based IDE for invariant inference
Comments: In Proceedings F-IDE 2014, arXiv:1404.5785
Journal-ref: EPTCS 149, 2014, pp. 44-57
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
[46]  arXiv:1404.6626 [pdf, ps, other]
Title: Nagoya Termination Tool
Comments: 12 pages, 1 figure, full version of the paper which is to appear in RTA/TLCA 2014
Subjects: Logic in Computer Science (cs.LO)
[47]  arXiv:1404.6682 [pdf, other]
Title: Sampling Techniques for Boolean Satisfiability
Authors: Kuldeep S. Meel
Comments: MS Thesis submitted to Rice University
Subjects: Logic in Computer Science (cs.LO)
[48]  arXiv:1404.6781 [pdf, ps, other]
Title: A Family of Descriptive Approaches To Preferred Answer Sets
Authors: Alexander Šimko
Comments: 10 pages, 1 figure, The paper appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)
Subjects: Logic in Computer Science (cs.LO)
[49]  arXiv:1404.6965 [pdf, ps, other]
Title: Partially Punctual Metric Temporal Logic is Decidable
Subjects: Logic in Computer Science (cs.LO)
[50]  arXiv:1404.7015 [pdf, ps, other]
Title: Dividing Line between Decidable PDA's and Undecidable Ones
Authors: Yuxi Fu, Qiang Yin
Comments: 26 pages, 9 figures
Subjects: Logic in Computer Science (cs.LO)
[ total of 98 entries: 1-25 | 26-50 | 51-75 | 76-98 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2302, contact, help  (Access key information)