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 35

[ total of 98 entries: 1-5 | ... | 21-25 | 26-30 | 31-35 | 36-40 | 41-45 | 46-50 | 51-55 | ... | 96-98 ]
[ showing 5 entries per page: fewer | more | all ]
[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)
[ total of 98 entries: 1-5 | ... | 21-25 | 26-30 | 31-35 | 36-40 | 41-45 | 46-50 | 51-55 | ... | 96-98 ]
[ showing 5 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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