Logic in Computer Science

Authors and titles for June 2017

[76] arXiv:1706.08270 (cross-list from cs.SY) [pdf, other]

Title: Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems

Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Tigran Nagapetyan

Comments: Accepted in the 14th International Conference on Quantitative Evaluation of Systems (QEST), 2017

Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO); Probability (math.PR)

[77] arXiv:1706.08481 (cross-list from math.LO) [pdf, other]

Title: Translations: generalizing relative expressiveness between logics

Diego Pinheiro Fernandes

Comments: This paper is currently under revision in a journal

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

[78] arXiv:1706.09393 (cross-list from cs.AI) [pdf, other]

Title: Default Logic and Bounded Treewidth

Johannes K. Fichte, Markus Hecher, Irina Schindler

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[79] arXiv:1706.09696 (cross-list from cs.CC) [pdf, other]

Title: On the relation between representations and computability

Jaun Casanova, Simone Santini

Comments: 26 pages

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[80] arXiv:1706.09877 (cross-list from quant-ph) [pdf, other]

Title: A universal completion of the ZX-calculus

Kang Feng Ng, Quanlong Wang

Comments: 29 pages

Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Category Theory (math.CT)