Logic in Computer Science

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

[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

Authors: Krishnendu Chatterjee, Laurent Doyen

Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)

[34]  arXiv:1404.5665 [pdf, other]

Title: ILP Modulo Data

Authors: Panagiotis Manolios, Vasilis Papavasileiou, Mirek Riedewald

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)