Logic in Computer Science

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

[21]  arXiv:1404.1225 [pdf, ps, other]

Title: Layer Systems for Proving Confluence

Authors: Bertram Felgenhauer, Aart Middeldorp, Harald Zankl, Vincent van Oostrom

Subjects: Logic in Computer Science (cs.LO)

[22]  arXiv:1404.1227 [pdf, other]

Title: Formale Entwicklung einer Steuerung für eine Fertigungszelle mit SYSYFOS

Authors: Jochen Burghardt

Comments: in german; 66 pages; 29 figures

Journal-ref: Technical Report, GMD Arbeitspapier Vol.996, Jun 1996

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

[23]  arXiv:1404.1531 [pdf, ps, other]

Title: On the Remarkable Features of Binding Forms

Authors: Fabio Mogavero, Giuseppe Perelli

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

[24]  arXiv:1404.1947 [pdf, ps, other]

Title: Eine entscheidbare Klasse n-stelliger Horn-Prädikate

Authors: Jochen Burghardt

Comments: in german; 11 pages

Journal-ref: Peter H. Schmitt (ed.), Proc. 3rd Ann. Meeting of the German Computer Science Society (GI) Special Interest Group on Logic in Computer Science (FG 0.1.6), Karlsruhe University Internal Report 23/95, p.38-47, Jun 1995

Subjects: Logic in Computer Science (cs.LO)

[25]  arXiv:1404.3034 [pdf, other]

Title: ACL2(ml): Machine-Learning for ACL2

Authors: Jónathan Heras (School of Computing, University of Dundee, UK), Ekaterina Komendantskaya (School of Computing, University of Dundee, UK)

Comments: In Proceedings ACL2 2014, arXiv:1406.1238

Journal-ref: EPTCS 152, 2014, pp. 61-75

Subjects: Logic in Computer Science (cs.LO)

[26]  arXiv:1404.3633 [pdf, other]

Title: The ZX-calculus is incomplete for quantum mechanics

Authors: Christian Schröder de Witt, Vladimir Zamdzhiev (University of Oxford)

Comments: In Proceedings QPL 2014, arXiv:1412.8102

Journal-ref: EPTCS 172, 2014, pp. 285-292

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

[27]  arXiv:1404.4827 [pdf, ps, other]

Title: $μ$-calculus on data words

Authors: Thomas Colcolmbet, Amaldev Manuel

Subjects: Logic in Computer Science (cs.LO)

[28]  arXiv:1404.4856 [pdf, ps, other]

Title: Quantitative games with interval objectives

Authors: Paul Hunter, Jean-François Raskin

Comments: Full version of CONCUR submission

Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)

[29]  arXiv:1404.5084 [pdf, ps, other]

Title: Probabilistic Bisimulation: Naturally on Distributions

Authors: Holger Hermanns, Jan Krčál, Jan Křetínský

Subjects: Logic in Computer Science (cs.LO)

[30]  arXiv:1404.5157 [pdf, other]

Title: Trace Inclusion for One-Counter Nets Revisited

Authors: Piotr Hofman, Patrick Totzke

Subjects: Logic in Computer Science (cs.LO)

[31]  arXiv:1404.5267 [pdf, ps, other]

Title: Lax functors and coalgebraic weak bisimulation

Authors: Tomasz Brengos

Comments: 32 pages

Subjects: Logic in Computer Science (cs.LO)

[32]  arXiv:1404.5439 [pdf, ps, other]

Title: A Logical Framework for Systems Biology

Authors: Elisabetta De Maria, Joelle Despeyroux (INRIA and CNRS), Amy Felty (EECS, Ottawa)

Comments: (2014)

Subjects: Logic in Computer Science (cs.LO); Other Quantitative Biology (q-bio.OT)

[33]  arXiv:1404.5453 [pdf, ps, other]

Title: Games with a Weak Adversary

Authors: Krishnendu Chatterjee, Laurent Doyen

Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)

[34]  arXiv:1404.5665 [pdf, other]

Title: ILP Modulo Data

Authors: Panagiotis Manolios, Vasilis Papavasileiou, Mirek Riedewald

Comments: FMCAD 2014 final version plus proofs

Subjects: Logic in Computer Science (cs.LO)

[35]  arXiv:1404.6037 [pdf, ps, other]

Title: Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus

Authors: Ryuta Arisaka (INRIA Saclay - Ile de France)

Subjects: Logic in Computer Science (cs.LO)

[36]  arXiv:1404.6064 [pdf, other]

Title: Ordered Navigation on Multi-attributed Data Words

Authors: Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma

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

[37]  arXiv:1404.6186 [pdf, other]

Title: ProofPeer: Collaborative Theorem Proving

Authors: Steven Obua, Jacques Fleuriot, Phil Scott, David Aspinall

Subjects: Logic in Computer Science (cs.LO)

[38]  arXiv:1404.6196 [pdf, ps, other]

Title: Proving Termination of Unfolding Graph Rewriting for General Safe Recursion

Authors: Naohi Eguchi

Comments: Technical report

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

[39]  arXiv:1404.6228 [pdf, other]

Title: Synthesising Succinct Strategies in Safety Games

Authors: Gilles Geeraerts, Joël Goossens, Amélie Stainer

Comments: 25 pags, 4 figures, 2 algorithms. Submitted

Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)

[40]  arXiv:1404.6245 [pdf, ps, other]

Title: A Unified Ordering for Termination Proving

Authors: Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe

Comments: 38 pages, revised version submitted to SCP

Subjects: Logic in Computer Science (cs.LO)

[41]  arXiv:1404.6277 [pdf, ps, other]

Title: Piecewise Boolean algebras and their domains

Authors: Chris Heunen

Comments: 11 pages

Journal-ref: Proceedings of the 41st International Colloquium on Automata, Languages and Programming, Springer Lecture Notes in Computer Science 8573:208-219, 2014

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

[42]  arXiv:1404.6368 [pdf, ps, other]

Title: Inference in the FO(C) Modelling Language

Authors: Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche

Comments: The paper appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)

Subjects: Logic in Computer Science (cs.LO)

[43]  arXiv:1404.6394 [pdf, ps, other]

Title: FO(C) and Related Modelling Paradigms

Authors: Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche

Comments: This paper appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)

Subjects: Logic in Computer Science (cs.LO)

[44]  arXiv:1404.6487 [pdf, other]

Title: Computability of 1-manifolds

Authors: Konrad Burnik (University of Zagreb), Zvonko Iljazovic (University of Zagreb)

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 2 (June 12, 2014) lmcs:961

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

[45]  arXiv:1404.6605 [pdf, other]

Title: SPEEDY: An Eclipse-based IDE for invariant inference

Authors: David R. Cok, Scott C. Johnson

Comments: In Proceedings F-IDE 2014, arXiv:1404.5785

Journal-ref: EPTCS 149, 2014, pp. 44-57

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