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

Logic in Computer Science

Authors and titles for cs.LO in Apr 2014

[ total of 98 entries: 1-50 | 51-98 ]
[ showing 50 entries per page: fewer | more | all ]
[1]  arXiv:1404.0079 [pdf, other]
Title: Non-deterministic computation and the Jayne-Rogers Theorem
Comments: In Proceedings DCM 2012, arXiv:1403.7579
Journal-ref: EPTCS 143, 2014, pp. 87-96
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[2]  arXiv:1404.0080 [pdf, other]
Title: Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis
Authors: Sam Sanders
Comments: In Proceedings DCM 2012, arXiv:1403.7579
Journal-ref: EPTCS 143, 2014, pp. 97-109
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[3]  arXiv:1404.0081 [pdf, ps, other]
Title: The probability of non-confluent systems
Comments: In Proceedings DCM 2013, arXiv:1403.7685
Journal-ref: EPTCS 144, 2014, pp. 1-15
Subjects: Logic in Computer Science (cs.LO)
[4]  arXiv:1404.0082 [pdf, other]
Title: Proof-graphs for Minimal Implicational Logic
Authors: Marcela Quispe-Cruz (PUC-Rio), Edward Hermann Haeusler (PUC-Rio), Lew Gordeev (Tubingen University, Ghent University, PUC-Rio)
Comments: In Proceedings DCM 2013, arXiv:1403.7685
Journal-ref: EPTCS 144, 2014, pp. 16-29
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:1404.0087 [pdf, ps, other]
Title: MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable
Authors: Karin Quaas (University of Leipzig)
Comments: In Proceedings SynCoP 2014, arXiv:1403.7841
Journal-ref: EPTCS 145, 2014, pp. 5-17
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[6]  arXiv:1404.0144 [pdf, ps, other]
Title: Modal Independence Logic
Subjects: Logic in Computer Science (cs.LO)
[7]  arXiv:1404.0297 [pdf, ps, other]
Title: Hyperprojective Hierarchy of QCB_0-spaces
Comments: Conference version to appear in LNCS
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[8]  arXiv:1404.0570 [pdf, ps, other]
Title: On Affine Logic and Łukasiewicz Logic
Comments: 28 pages
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[9]  arXiv:1404.0606 [pdf, ps, other]
Title: Monadic Datalog Containment on Trees
Comments: This article is the full version of an article published in the proccedings of the 8th Alberto Mendelzon Workshop (AMW 2014)
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Databases (cs.DB)
[10]  arXiv:1404.0665 [pdf, ps, other]
Title: Security Analyses of Quantum Communication Protocols
Authors: Yong Wang
Comments: 152 pages, 23 figures, 62 tables. arXiv admin note: substantial text overlap with arXiv:1811.01070, arXiv:1501.05260
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:1404.0837 [pdf, other]
Title: Reasoning about Knowledge and Strategies: Epistemic Strategy Logic
Authors: Francesco Belardinelli (Université d'Evry)
Comments: In Proceedings SR 2014, arXiv:1404.0414
Journal-ref: EPTCS 146, 2014, pp. 27-33
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[12]  arXiv:1404.0838 [pdf, other]
Title: An Epistemic Strategy Logic (Extended Abstract)
Authors: Xiaowei Huang (University of New South Wales, Australia), Ron van der Meyden (University of New South Wales, Australia)
Comments: In Proceedings SR 2014, arXiv:1404.0414
Journal-ref: EPTCS 146, 2014, pp. 35-41
Subjects: Logic in Computer Science (cs.LO)
[13]  arXiv:1404.0840 [pdf, ps, other]
Title: Refining and Delegating Strategic Ability in ATL
Authors: Dimitar P. Guelev (Institute of Mathematics and Informatics, Bulgarian Academy of Sciences)
Comments: In Proceedings SR 2014, arXiv:1404.0414
Journal-ref: EPTCS 146, 2014, pp. 57-63
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)
[14]  arXiv:1404.0841 [pdf, other]
Title: A Resolution Prover for Coalition Logic
Authors: Cláudia Nalon (Department of Computer Science, University of Brasília, Brazil), Lan Zhang (Information School Capital University of Economics and Business, China), Clare Dixon (Department of Computer Science, University of Liverpool, UK), Ullrich Hustadt (Department of Computer Science, University of Liverpool, UK)
Comments: In Proceedings SR 2014, arXiv:1404.0414
Journal-ref: EPTCS 146, 2014, pp. 65-73
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[15]  arXiv:1404.0843 [pdf, ps, other]
Title: First Cycle Games
Authors: Benjamin Aminof (IST Austria), Sasha Rubin (IST Austria and TU Wien)
Comments: In Proceedings SR 2014, arXiv:1404.0414
Journal-ref: EPTCS 146, 2014, pp. 83-90
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)
[16]  arXiv:1404.0844 [pdf, ps, other]
Title: Automata Techniques for Epistemic Protocol Synthesis
Comments: In Proceedings SR 2014, arXiv:1404.0414
Journal-ref: EPTCS 146, 2014, pp. 97-103
Subjects: Logic in Computer Science (cs.LO)
[17]  arXiv:1404.0854 [pdf, other]
Title: Enabling Automatic Certification of Online Auctions
Comments: In Proceedings FESCA 2014, arXiv:1404.0436
Journal-ref: EPTCS 147, 2014, pp. 123-132
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[18]  arXiv:1404.0953 [pdf, ps, other]
Title: Implementing Anti-Unification Modulo Equational Theory
Comments: 113 pages; 57 figures
Journal-ref: Technical Report "Arbeitspapiere der GMD",ISSN 0723-0508, Vol.1006, June 1996
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[19]  arXiv:1404.0956 [pdf, ps, other]
Title: Expressiveness via Intensionality and Concurrency
Comments: 18 pages, to appear in ICTAC 2014
Subjects: Logic in Computer Science (cs.LO)
[20]  arXiv:1404.1215 [pdf, ps, other]
Title: Coalgebraic Weak Bisimulation from Recursive Equations over Monads
Comments: final version
Subjects: Logic in Computer Science (cs.LO)
[21]  arXiv:1404.1225 [pdf, ps, other]
Title: Layer Systems for Proving Confluence
Subjects: Logic in Computer Science (cs.LO)
[22]  arXiv:1404.1227 [pdf, other]
Title: Formale Entwicklung einer Steuerung für eine Fertigungszelle mit SYSYFOS
Authors: Jochen Burghardt
Comments: in german; 66 pages; 29 figures
Journal-ref: Technical Report, GMD Arbeitspapier Vol.996, Jun 1996
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[23]  arXiv:1404.1531 [pdf, ps, other]
Title: On the Remarkable Features of Binding Forms
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[24]  arXiv:1404.1947 [pdf, ps, other]
Title: Eine entscheidbare Klasse n-stelliger Horn-Prädikate
Authors: Jochen Burghardt
Comments: in german; 11 pages
Journal-ref: Peter H. Schmitt (ed.), Proc. 3rd Ann. Meeting of the German Computer Science Society (GI) Special Interest Group on Logic in Computer Science (FG 0.1.6), Karlsruhe University Internal Report 23/95, p.38-47, Jun 1995
Subjects: Logic in Computer Science (cs.LO)
[25]  arXiv:1404.3034 [pdf, other]
Title: ACL2(ml): Machine-Learning for ACL2
Authors: Jónathan Heras (School of Computing, University of Dundee, UK), Ekaterina Komendantskaya (School of Computing, University of Dundee, UK)
Comments: In Proceedings ACL2 2014, arXiv:1406.1238
Journal-ref: EPTCS 152, 2014, pp. 61-75
Subjects: Logic in Computer Science (cs.LO)
[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-50 | 51-98 ]
[ showing 50 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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