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 30

[ total of 98 entries: 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | 51-60 | 61-70 | ... | 91-98 ]
[ showing 10 entries per page: fewer | more | all ]
[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)
[ total of 98 entries: 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | 51-60 | 61-70 | ... | 91-98 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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