Logic in Computer Science

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

[51]  arXiv:1404.7067 [pdf, other]

Title: Time Petri Nets with Dynamic Firing Dates: Semantics and Applications

Authors: Silvano Dal Zilio (LAAS), Lukasz Fronc (LAAS), Bernard Berthomieu (LAAS), François Vernadat (LAAS)

Subjects: Logic in Computer Science (cs.LO)

[52]  arXiv:1404.7092 [pdf, other]

Title: Robustness against Power is PSPACE-complete

Authors: Egor Derevenetc, Roland Meyer

Subjects: Logic in Computer Science (cs.LO)

[53]  arXiv:1404.7278 [pdf, other]

Title: Weak MSO+U with Path Quantifiers over Infinite Trees

Authors: Mikołaj Bojańczyk

Comments: version of an ICALP 2014 paper with appendices

Subjects: Logic in Computer Science (cs.LO)

[54]  arXiv:1404.7282 [pdf, other]

Title: Formal Proofs for Nonlinear Optimization

Authors: Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner

Comments: 24 pages, 2 figures, 3 tables

Subjects: Logic in Computer Science (cs.LO); Optimization and Control (math.OC)

[55]  arXiv:1404.7435 [pdf, ps, other]

Title: Open induction in a bounded arithmetic for TC^0

Authors: Emil Jeřábek

Comments: 35 pages

Journal-ref: Archive for Mathematical Logic 54 (2015), no. 3--4, pp. 359--394

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)