Skip to main content
Cornell University
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arxiv logo > cs.LO

Help | Advanced Search

arXiv logo
Cornell University Logo

quick links

  • Login
  • Help Pages
  • About

Logic in Computer Science

Authors and titles for February 2013

Total of 54 entries : 1-25 26-50 51-54
Showing up to 25 entries per page: fewer | more | all
[1] arXiv:1302.0745 [pdf, other]
Title: Safe Schedulability of Bounded-Rate Multi-Mode Systems
Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi
Comments: Technical report for a paper presented at HSCC 2013
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)
[2] arXiv:1302.0975 [pdf, other]
Title: A Constructive Epistemic Logic with Public Announcement (Non-Predetermined Possibilities)
Rasoul Ramezanian
Comments: 12 page
Subjects: Logic in Computer Science (cs.LO)
[3] arXiv:1302.1046 [pdf, other]
Title: Generalizing determinization from automata to coalgebras
Alexandra Silva (Radboud University Nijmegen and Centrum Wiskunde & Informatica), Filippo Bonchi (ENS Lyon, Universite' de Lyon, LIP), Marcello Bonsangue (LIACS - Leiden University), Jan Rutten (Centrum Wiskunde & Informatica and Radboud University Nijmegen)
Comments: 23 pages
Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 1 (March 4, 2013) lmcs:1087
Subjects: Logic in Computer Science (cs.LO)
[4] arXiv:1302.1737 [pdf, other]
Title: Kleene Algebra with Tests and Coq Tools for While Programs
Damien Pous (LIP)
Comments: 16+3 pages
Subjects: Logic in Computer Science (cs.LO); Mathematical Software (cs.MS); Programming Languages (cs.PL)
[5] arXiv:1302.2123 [pdf, other]
Title: Belief Semantics of Authorization Logic
Andrew K. Hirsch, Michael R. Clarkson
Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR)
[6] arXiv:1302.2584 [pdf, other]
Title: Reasoning About Higher-Order Relational Specifications
Yuting Wang, Kaustuv Chaudhuri (INRIA Saclay - Ile de France), Andrew Gacek, Gopalan Nadathur
Comments: Principles and Practice of Declarative Programming (2013)
Subjects: Logic in Computer Science (cs.LO)
[7] arXiv:1302.2762 [pdf, other]
Title: Deciding Conditional Termination
Radu Iosif (Verimag/CNRS), Filip Konecny (Verimag/CNRS and FIT/BUT), Marius Bozga (Verimag/CNRS)
Comments: 61 pages, 6 figures, 2 tables
Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 3 (August 21, 2014) lmcs:737
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[8] arXiv:1302.3105 [pdf, other]
Title: Proceedings 14th International Workshop on Verification of Infinite-State Systems
Mohamed Faouzi Atig (Uppsala University), Ahmed Rezine (Linkoping University)
Journal-ref: EPTCS 107, 2013
Subjects: Logic in Computer Science (cs.LO)
[9] arXiv:1302.3290 [pdf, other]
Title: Constraint-based reachability
Arnaud Gotlieb (Certus Software V & V Center, SIMULA Research Laboratory, Norway), Tristan Denmat (INRIA Rennes Bretagne-Atlantique, France), Nadjib Lazaar (LIRMM, Montpellier, France)
Comments: In Proceedings Infinity 2012, arXiv:1302.3105
Journal-ref: EPTCS 107, 2013, pp. 25-43
Subjects: Logic in Computer Science (cs.LO)
[10] arXiv:1302.3291 [pdf, other]
Title: Petri Nets with Time and Cost
Parosh Aziz Abdulla (Uppsala University), Richard Mayr (University of Edinburgh)
Comments: In Proceedings Infinity 2012, arXiv:1302.3105
Journal-ref: EPTCS 107, 2013, pp. 9-24
Subjects: Logic in Computer Science (cs.LO)
[11] arXiv:1302.3293 [pdf, other]
Title: Effective Marking Equivalence Checking in Systems with Dynamic Process Creation
Łukasz Fronc (IBISC, Université d'Evry-Val d'Essonne)
Comments: In Proceedings Infinity 2012, arXiv:1302.3105
Journal-ref: EPTCS 107, 2013, pp. 61-75
Subjects: Logic in Computer Science (cs.LO)
[12] arXiv:1302.3741 [pdf, other]
Title: Upper bounds for Newton's method on monotone polynomial systems, and P-time model checking of probabilistic one-counter automata
Alistair Stewart, Kousha Etessami, Mihalis Yannakakis
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[13] arXiv:1302.4187 [pdf, other]
Title: The Relationship between Craig Interpolation and Recursion-Free Horn Clauses
Philipp Rümmer (Uppsala University), Hossein Hojjat (EPFL Lausanne), Viktor Kuncak (EPFL Lausanne)
Comments: 20 pages
Subjects: Logic in Computer Science (cs.LO)
[14] arXiv:1302.4350 [pdf, other]
Title: Generalizations of the Los-Tarski Preservation Theorem
Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty
Comments: Added 2 new results: (a) A preservation theorem providing a semantic characterization of Σ^0_n theories for each natural number n (which builds on our generalization of the existential amalgamation theorem) (b) Theories in PSC(k) and PSC_f are equivalent to Σ^0_2 theories and that the latter are strictly more general than the former. These results are in Sections 8 and 9
Subjects: Logic in Computer Science (cs.LO)
[15] arXiv:1302.4539 [pdf, other]
Title: Proving Termination Starting from the End
Pierre Ganty, Samir Genaim
Comments: 16 pages
Subjects: Logic in Computer Science (cs.LO)
[16] arXiv:1302.4739 [pdf, other]
Title: Generating Non-Linear Interpolants by Semidefinite Programming
Liyun Dai, Bican Xia, Naijun Zhan
Comments: 22 pages, 4 figures
Subjects: Logic in Computer Science (cs.LO)
[17] arXiv:1302.4783 [pdf, other]
Title: A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
Zhe Hou, Alwen Tiu, Rajeev Gore
Subjects: Logic in Computer Science (cs.LO)
[18] arXiv:1302.4856 [pdf, other]
Title: An algebraic approach to weak and delay bismulation in coalgebra
Tomasz Brengos
Comments: This paper has been withdrawn due to existing better attempt to model saturators coalgebraically
Subjects: Logic in Computer Science (cs.LO)
[19] arXiv:1302.5174 [pdf, other]
Title: Assembling the Proofs of Ordered Model Transformations
Maribel Fernández, Jeffrey Terrell
Comments: In Proceedings FESCA 2013, arXiv:1302.4780
Journal-ref: EPTCS 108, 2013, pp. 63-77
Subjects: Logic in Computer Science (cs.LO)
[20] arXiv:1302.5254 [pdf, other]
Title: Expressing Properties in Second and Third Order Logic: Hypercube Graphs and SATQBF
F. Ferrarotti, W. Ren, J. M. Turull Torres
Comments: Pre-print of article submitted to an special issue of the Logic Journal of the IGPL with selected papers from the 16th Brazilian Logic Conference
Subjects: Logic in Computer Science (cs.LO)
[21] arXiv:1302.5765 [pdf, other]
Title: Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
Daisuke Kimura (National Institute of Informatics), Makoto Tatsuta (National Institute of Informatics)
Comments: The conference version of this paper has appeared in RTA 2009
Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 1 (March 29, 2013) lmcs:1055
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[22] arXiv:1302.6330 [pdf, other]
Title: An event-based model for contracts
Massimo Bartoletti (Universita' degli Studi di Cagliari), Tiziana Cimoli (Universita' degli Studi di Cagliari), G. Michele Pinna (Universita' degli Studi di Cagliari), Roberto Zunino (DISI-Universita' degli Studi di Trento and COSBI, Italy)
Comments: In Proceedings PLACES 2012, arXiv:1302.5798
Journal-ref: EPTCS 109, 2013, pp. 13-20
Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)
[23] arXiv:1302.6335 [pdf, other]
Title: Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract)
Patrick Bahr (Department of Computer Science, University of Copenhagen)
Comments: In Proceedings TERMGRAPH 2013, arXiv:1302.5997
Journal-ref: EPTCS 110, 2013, pp. 17-28
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[24] arXiv:1302.6336 [pdf, other]
Title: Linear Compressed Pattern Matching for Polynomial Rewriting (Extended Abstract)
Manfred Schmidt-Schauss
Comments: In Proceedings TERMGRAPH 2013, arXiv:1302.5997
Journal-ref: EPTCS 110, 2013, pp. 29-40
Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS)
[25] arXiv:1302.6338 [pdf, other]
Title: Term Graph Representations for Cyclic Lambda-Terms
Clemens Grabmayer (Department of Philosophy, Utrecht University, The Netherlands), Jan Rochel (Department of Computing Sciences, Utrecht University, The Netherlands)
Comments: In Proceedings TERMGRAPH 2013, arXiv:1302.5997
Journal-ref: EPTCS 110, 2013, pp. 56-73
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
Total of 54 entries : 1-25 26-50 51-54
Showing up to 25 entries per page: fewer | more | all
  • About
  • Help
  • contact arXivClick here to contact arXiv Contact
  • subscribe to arXiv mailingsClick here to subscribe Subscribe
  • Copyright
  • Privacy Policy
  • Web Accessibility Assistance
  • arXiv Operational Status
    Get status notifications via email or slack