Logic in Computer Science

Authors and titles for August 2017

[51] arXiv:1708.06228 (cross-list from cs.FL) [pdf, other]

Title: An efficient algorithm to decide periodicity of $b$-recognisable sets using LSDF convention

Victor Marsault

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 3 (July 31, 2019) lmcs:3882

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[52] arXiv:1708.07222 (cross-list from cs.PL) [pdf, other]

Title: Transforming Coroutining Logic Programs into Equivalent CHR Programs

Vincent Nys (KU Leuven), Danny De Schreye (KU Leuven)

Comments: In Proceedings VPT 2017, arXiv:1708.06887

Journal-ref: EPTCS 253, 2017, pp. 9-35

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[53] arXiv:1708.07228 (cross-list from cs.SE) [pdf, other]

Title: A Story of Parametric Trace Slicing, Garbage and Static Analysis

Giles Reger (University of Manchester, UK)

Comments: In Proceedings PrePost 2017, arXiv:1708.06889

Journal-ref: EPTCS 254, 2017, pp. 1-14

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[54] arXiv:1708.07231 (cross-list from cs.SE) [pdf, other]

Title: Exploring the Link Between Test Suite Quality and Automatic Specification Inference

Luke Chircop (University Of Malta), Christian Colombo (University Of Malta), Mark Micallef (University Of Malta)

Comments: In Proceedings PrePost 2017, arXiv:1708.06889

Journal-ref: EPTCS 254, 2017, pp. 44-56

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[55] arXiv:1708.07354 (cross-list from cs.DM) [pdf, other]

Title: The Weisfeiler-Leman Dimension of Planar Graphs is at most 3

Sandra Kiefer, Ilia Ponomarenko, Pascal Schweitzer

Comments: 34 pages, 3 figures, extended version of LICS 2017 paper

Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Combinatorics (math.CO)

[56] arXiv:1708.07366 (cross-list from cs.FL) [pdf, other]

Title: A Computational Interpretation of Context-Free Expressions

Martin Sulzmann, Peter Thiemann

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[57] arXiv:1708.07854 (cross-list from cs.PL) [pdf, other]

Title: Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)

Fabio Fioravanti, John P. Gallagher

Comments: Papers selected for presentation at LOPSTR 2017

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[58] arXiv:1708.08081 (cross-list from cs.LG) [pdf, other]

Title: Learning MSO-definable hypotheses on string

Martin Grohe, Christof Löding, Martin Ritzert

Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[59] arXiv:1708.08179 (cross-list from math.CO) [pdf, other]

Title: Short Presburger arithmetic is hard

Danny Nguyen, Igor Pak

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