We gratefully acknowledge support from
the Simons Foundation
and member institutions

Logic in Computer Science

Authors and titles for cs.LO in Sep 2013

[ total of 64 entries: 1-25 | 26-50 | 51-64 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:1309.0065 [pdf, other]
Title: Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material)
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:1309.0717 [pdf, ps, other]
Title: A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets
Authors: Victor Khomenko (School of Computing Science, Newcastle University), Roland Meyer (Department of Computer Science, University of Kaiserslautern), Reiner Hüchting (Department of Computer Science, University of Kaiserslautern)
Comments: To appear in special issue on best papers of CONCUR'12 of Logical Methods in Computer Science
Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 3 (September 17, 2013) lmcs:932
Subjects: Logic in Computer Science (cs.LO)
[3]  arXiv:1309.0844 [pdf, ps, other]
Title: Bases as Coalgebras
Authors: Bart Jacobs (Institute for Computing and Information Sciences (iCIS), Radboud University Nijm)
Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 3 (September 18, 2013) lmcs:741
Subjects: Logic in Computer Science (cs.LO)
[4]  arXiv:1309.0866 [pdf, other]
Title: On the Robustness of Temporal Properties for Stochastic Models
Authors: Ezio Bartocci (TU Wien, Austria), Luca Bortolussi (University of Trieste, Italy), Laura Nenzi (IMT Lucca, Italy), Guido Sanguinetti (University of Edinburgh, UK)
Comments: In Proceedings HSB 2013, arXiv:1308.5724
Journal-ref: EPTCS 125, 2013, pp. 3-19
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Learning (cs.LG); Systems and Control (cs.SY)
[5]  arXiv:1309.0867 [pdf, other]
Title: Robustness Analysis for Value-Freezing Signal Temporal Logic
Authors: L. Brim (Masaryk University), T. Vejpustek (Masaryk University), D. Šafránek (Masaryk University), J. Fabriková (Masaryk University)
Comments: In Proceedings HSB 2013, arXiv:1308.5724
Journal-ref: EPTCS 125, 2013, pp. 20-36
Subjects: Logic in Computer Science (cs.LO); Computational Engineering, Finance, and Science (cs.CE); Systems and Control (cs.SY)
[6]  arXiv:1309.0869 [pdf, other]
Title: Falsifying Oscillation Properties of Parametric Biological Models
Authors: Thao Dang (CNRS-VERIMAG), Tommaso Dreossi (VERIMAG, University of Udine)
Comments: In Proceedings HSB 2013, arXiv:1308.5724
Journal-ref: EPTCS 125, 2013, pp. 53-67
Subjects: Logic in Computer Science (cs.LO); Computational Engineering, Finance, and Science (cs.CE); Systems and Control (cs.SY)
[7]  arXiv:1309.0890 [pdf, other]
Title: Non-monotonic Pre-fixed Points and Learning
Authors: Stefano Berardi (Università di Torino), Ugo de' Liguoro (Università di Torino)
Comments: In Proceedings FICS 2013, arXiv:1308.5896
Journal-ref: EPTCS 126, 2013, pp. 1-10
Subjects: Logic in Computer Science (cs.LO)
[8]  arXiv:1309.0891 [pdf, ps, other]
Title: From Branching to Linear Time, Coalgebraically
Authors: Corina Cirstea (University of Southampton)
Comments: In Proceedings FICS 2013, arXiv:1308.5896
Journal-ref: EPTCS 126, 2013, pp. 11-27
Subjects: Logic in Computer Science (cs.LO)
[9]  arXiv:1309.0892 [pdf, ps, other]
Title: A Coinductive Approach to Proof Search
Authors: José Espírito Santo (Centro de Matemática, Universidade do Minho, Braga, Portugal), Ralph Matthes (Institut de Recherche en Informatique de Toulouse (IRIT), C.N.R.S. and University of Toulouse, France), Luís Pinto (Centro de Matemática, Universidade do Minho, Braga, Portugal)
Comments: In Proceedings FICS 2013, arXiv:1308.5896
Journal-ref: EPTCS 126, 2013, pp. 28-43
Subjects: Logic in Computer Science (cs.LO)
[10]  arXiv:1309.0894 [pdf, other]
Title: The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices
Authors: Eleftherios Matsikoudis (University of California, Berkeley), Edward A. Lee (University of California, Berkeley)
Comments: In Proceedings FICS 2013, arXiv:1308.5896
Journal-ref: EPTCS 126, 2013, pp. 56-71
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:1309.0895 [pdf, other]
Title: Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion
Authors: Stefan Milius (FAU Erlangen-Nürnberg), Tadeusz Litak (FAU Erlangen-Nürnberg)
Comments: In Proceedings FICS 2013, arXiv:1308.5896
Journal-ref: EPTCS 126, 2013, pp. 72-86
Subjects: Logic in Computer Science (cs.LO)
[12]  arXiv:1309.0896 [pdf, ps, other]
Title: Łukasiewicz mu-Calculus
Authors: Matteo Mio (CWI), Alex Simpson (University of Edinburgh)
Comments: In Proceedings FICS 2013, arXiv:1308.5896
Journal-ref: EPTCS 126, 2013, pp. 87-104
Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS)
[13]  arXiv:1309.0924 [html]
Title: Proceedings First Workshop on Control Operators and their Semantics
Authors: Ugo de'Liguoro (Turin University), Alexis Saurin (CNRS, PPS UMR 7126, Univ Paris Diderot)
Journal-ref: EPTCS 127, 2013
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[14]  arXiv:1309.1254 [pdf, other]
Title: Strong Normalization for HA + EM1 by Non-Deterministic Choice
Authors: Federico Aschieri (ENS de Lyon, Université de Lyon)
Comments: In Proceedings COS 2013, arXiv:1309.0924
Journal-ref: EPTCS 127, 2013, pp. 1-14
Subjects: Logic in Computer Science (cs.LO)
[15]  arXiv:1309.1255 [pdf, ps, other]
Title: Interpreting a Classical Geometric Proof with Interactive Realizability
Authors: Giovanni Birolo (University of Turin)
Comments: In Proceedings COS 2013, arXiv:1309.0924
Journal-ref: EPTCS 127, 2013, pp. 30-44
Subjects: Logic in Computer Science (cs.LO); Computational Geometry (cs.CG)
[16]  arXiv:1309.1256 [pdf, ps, other]
Title: Hereditary Substitution for the λΔ-Calculus
Authors: Harley Eades (University of Iowa), Aaron Stump (University of Iowa)
Comments: In Proceedings COS 2013, arXiv:1309.0924
Journal-ref: EPTCS 127, 2013, pp. 45-65
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[17]  arXiv:1309.1257 [pdf, ps, other]
Title: Continuation calculus
Comments: In Proceedings COS 2013, arXiv:1309.0924
Journal-ref: EPTCS 127, 2013, pp. 66-85
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[18]  arXiv:1309.1258 [pdf, ps, other]
Title: Induction by Coinduction and Control Operators in Call-by-Name
Comments: In Proceedings COS 2013, arXiv:1309.0924
Journal-ref: EPTCS 127, 2013, pp. 101-112
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[19]  arXiv:1309.1259 [pdf, other]
Title: Combining and Relating Control Effects and their Semantics
Authors: James Laird (University of Bath)
Comments: In Proceedings COS 2013, arXiv:1309.0924
Journal-ref: EPTCS 127, 2013, pp. 113-129
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[20]  arXiv:1309.2069 [pdf, other]
Title: Unary negation
Authors: Luc Segoufin (INRIA), Balder ten Cate (UCSC)
Comments: 2 figures
Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 3 (September 24, 2013) lmcs:792
Subjects: Logic in Computer Science (cs.LO)
[21]  arXiv:1309.2128 [pdf, ps, other]
Title: Exploring the Boundaries of Monad Tensorability on Set
Authors: Nathan Bowler (Department of Mathematics, Universität Hamburg), Sergey Goncharov (Department of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg), Paul Blain Levy (School of Computer Science, University of Birmingham), Lutz Schröder (Department of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg)
Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 3 (September 18, 2013) lmcs:740
Subjects: Logic in Computer Science (cs.LO)
[22]  arXiv:1309.2394 [pdf, ps, other]
Title: Polynomial Path Orders
Authors: Martin Avanzini (University of Innsbruck, Austria), Georg Moser (University of Innsbruck, Austria)
Comments: LMCS version. This article supersedes arXiv:1209.3793
Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 4 (November 1, 2013) lmcs:807
Subjects: Logic in Computer Science (cs.LO)
[23]  arXiv:1309.2512 [pdf, ps, other]
Title: Enumeration of the adjunctive hierarchy of hereditarily finite sets
Subjects: Logic in Computer Science (cs.LO); Combinatorics (math.CO)
[24]  arXiv:1309.2802 [pdf, ps, other]
Title: What is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives
Comments: Full version of the CSL 2013 paper. arXiv admin note: text overlap with arXiv:1308.4846
Subjects: Logic in Computer Science (cs.LO)
[25]  arXiv:1309.3883 [pdf, ps, other]
Title: On Characterising Distributability
Authors: Rob J. van Glabbeek (NICTA), Ursula Goltz (TU Braunschweig), Jens-Wolfhard Schicke-Uffmann (TU Braunschweig)
Comments: arXiv admin note: substantial text overlap with arXiv:1207.3597
Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 3 (September 17, 2013) lmcs:910
Subjects: Logic in Computer Science (cs.LO)
[ total of 64 entries: 1-25 | 26-50 | 51-64 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)