Logic in Computer Science

Authors and titles for October 2015

[21] arXiv:1510.06020 [pdf, other]

Title: Petri Nets and its Polynomials

Andrey Grinblat, Viktor Lopatkin

Subjects: Logic in Computer Science (cs.LO)

[22] arXiv:1510.06178 [pdf, other]

Title: Proof equivalence in MLL is PSPACE-complete

Willem Heijltjes (University of Bath), Robin Houston

Comments: Journal version of: Willem Heijltjes and Robin Houston. No proof nets for MLL with units: Proof equivalence in MLL is PSPACE-complete. In Proc. Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, 2014

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 1 (March 2, 2016) lmcs:1625

Subjects: Logic in Computer Science (cs.LO)

[23] arXiv:1510.06298 [pdf, other]

Title: Switchability and collapsibility of Gap Algebras

Barnaby Martin, Dmitriy Zhuk

Subjects: Logic in Computer Science (cs.LO)

[24] arXiv:1510.06649 [pdf, other]

Title: Operator Algebras in Quantum Computation

Mathys Rennela

Comments: 37 pages, made under the supervision of Prof. dr. B.P.F. Jacobs in partial fulfillment of the Master Parisien de Recherche en Informatique (MPRI) of Université Paris 7 Diderot

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Operator Algebras (math.OA)

[25] arXiv:1510.06658 [pdf, other]

Title: Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

Søren Debois (IT University of Copenhagen), Thomas Hildebrandt (IT University of Copenhagen), Tijs Slaats (IT University of Copenhagen, Exformatics A/S), Nobuko Yoshida (Imperial College, London, Department of Computing)

Comments: Accepted for publication in Logical Methods in Computer Science

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 1 (January 6, 2016) lmcs:1624

Subjects: Logic in Computer Science (cs.LO)

[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)