Logic in Computer Science

Authors and titles for October 2015

[26] arXiv:1510.06879 [pdf, other]

Title: Characteristic Formulae for Session Types (extended version)

Julien Lange, Nobuko Yoshida

Subjects: Logic in Computer Science (cs.LO)

[27] arXiv:1510.07247 [pdf, other]

Title: Some Notes on Temporal Justification Logic

Samuel Bucheli

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

[28] arXiv:1510.07253 [pdf, other]

Title: Reversing Single Sessions

Francesco Tiezzi, Nobuko Yoshida

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

[29] arXiv:1510.07276 [pdf, other]

Title: Complexity of Conditional Term Rewriting

Cynthia Kop, Aart Middeldorp, Thomas Sternagel

Comments: This is an extended and improved version of "Conditional Complexity" as published in the proceedings of RTA 2015. It has been submitted for journal publication in LMCS

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 1 (February 6, 2017) lmcs:3123

Subjects: Logic in Computer Science (cs.LO)

[30] arXiv:1510.08079 [pdf, other]

Title: Temporal Logic as Filtering

Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu

Comments: 10 pages

Journal-ref: HSCC 2016, April 12 - 14, 2016, Vienna, Austria

Subjects: Logic in Computer Science (cs.LO)

[31] arXiv:1510.08331 [pdf, other]

Title: Structurally Cyclic Petri Nets

Drewes Frank (Dept. of Computing Science, Umeå University, Umeå, Sweden), Leroux Jérôme (LaBRI, CNRS)

Comments: 9 pages. Key words: Petri net, vector addition system, structural cyclicity, reachability

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 4 (December 22, 2015) lmcs:1616

Subjects: Logic in Computer Science (cs.LO)

[32] arXiv:1510.08393 [pdf, other]

Title: What's Decidable about Syntax-Guided Synthesis?

Benjamin Caulfield, Markus N. Rabe, Sanjit A. Seshia, Stavros Tripakis

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:1510.08498 [pdf, other]

Title: A Coinductive Approach to Computing with Compact Sets

Ulrich Berger, Dieter Spreen

Comments: 34 pages

Subjects: Logic in Computer Science (cs.LO)

[34] arXiv:1510.08506 [pdf, other]

Title: Regular Symmetry Patterns (Technical Report)

Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun

Comments: Technical report of VMCAI'16 paper

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:1510.08517 [pdf, other]

Title: Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs

Krishnendu Chatterjee, Hongfei Fu, Petr Novotny, Rouzbeh Hasheminezhad

Comments: 24 pages, full version to the conference paper on POPL 2016

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

[36] arXiv:1510.08564 [pdf, other]

Title: Build your own clarithmetic I: Setup and completeness

Giorgi Japaridze (Villanova University, USA)

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 3 (April 27, 2017) lmcs:2020

Subjects: Logic in Computer Science (cs.LO)

[37] arXiv:1510.08566 [pdf, other]

Title: Build your own clarithmetic II: Soundness

Giorgi Japaridze (Department of Computing Sciences, Villanova University)

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 3 (April 27, 2017) lmcs:2028

Subjects: Logic in Computer Science (cs.LO)

[38] arXiv:1510.08786 [pdf, other]

Title: Quirky Quantifiers: Optimal Models and Complexity of Computation Tree Logic

Martin Lück

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

[39] arXiv:1510.08970 [pdf, other]

Title: Robust Linear Temporal Logic

Paulo Tabuada, Daniel Neider

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

[40] arXiv:1510.09040 [pdf, other]

Title: Approximation and Dependence via Multiteam Semantics

Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema

Comments: Accepted paper for FoIKS conference, long version

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

[41] arXiv:1510.09095 [pdf, other]

Title: Completeness-via-canonicity for coalgebraic logics

Fredrik Dahlqvist

Comments: PhD thesis. 288 pages

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

[42] arXiv:1510.09102 [pdf, other]

Title: Trace Refinement in Labelled Markov Decision Processes

Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 2 (June 3, 2020) lmcs:5002

Subjects: Logic in Computer Science (cs.LO)

[43] arXiv:1510.00523 (cross-list from cs.DS) [pdf, other]

Title: Implementing Efficient All Solutions SAT Solvers

Takahisa Toda, Takehide Soh

Journal-ref: ACM Journal of Experimental Algorithmics, Vol. 21, No. 1, Article 1.12, 2016

Subjects: Data Structures and Algorithms (cs.DS); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

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

Title: On the Uniform Computational Content of the Baire Category Theorem

Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer

Comments: 28 pages

Journal-ref: Notre Dame J. Formal Logic 59, no. 4 (2018), 605-636

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

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

Title: Effect-Dependent Transformations for Concurrent Programs

Nick Benton, Martin Hofmann, Vivek Nigam

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

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

Title: The grounding for Continuum

Stanislaw Ambroszkiewicz

Comments: This is the second part of the general framework for a constructive type theory presented in the paper Functionals and hardware arXiv:1501.03043. The version is final. The research on the grounding of Mathematics is continued in the paper {\em Asymptotic combinatorial constructions of Geometries} available at arXiv:1904.05173

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

[47] arXiv:1510.03057 (cross-list from cs.MM) [pdf, other]

Title: Towards non-threaded Concurrent Constraint Programming for implementing multimedia interaction systems

Mauricio Toro

Comments: 55 pages

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

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

Title: On the equivalence of different presentations of Turner's bracket abstraction algorithm

Łukasz Czajka

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

[49] arXiv:1510.04021 (cross-list from math.RA) [pdf, other]

Title: Subvarieties of the variety of meadows

Jan A. Bergstra, Inge Bethke

Comments: 11 pages

Subjects: Rings and Algebras (math.RA); Logic in Computer Science (cs.LO)

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

Title: The wonderland of reflections

Libor Barto, Jakub Opršal, Michael Pinsker

Comments: 24 pages

Subjects: Logic (math.LO); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Rings and Algebras (math.RA)