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 2014

Total of 69 entries : 1-25 26-50 51-69
Showing up to 25 entries per page: fewer | more | all
[1] arXiv:1402.0050 [pdf, other]
Title: Branching Bisimilarity Checking for PRS
Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao
Comments: 18 pages, 6 Figures
Subjects: Logic in Computer Science (cs.LO)
[2] arXiv:1402.0081 [pdf, other]
Title: Proof Pattern Search in Coq/SSReflect
Jónathan Heras, Ekaterina Komendantskaya
Subjects: Logic in Computer Science (cs.LO)
[3] arXiv:1402.0225 [pdf, other]
Title: An Intuitionisticaly based Description Logic
Edward Hermann Haeusler, Alexandre Rademaker
Subjects: Logic in Computer Science (cs.LO)
[4] arXiv:1402.0299 [pdf, other]
Title: A Fixed Point Theorem for Non-Monotonic Functions
Zoltán Ésik, Panos Rondogiannis
Comments: 34 pages. Accepted in: Theoretical Computer Science (to appear)
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[5] arXiv:1402.0474 [pdf, other]
Title: Normalization and sub-formula property for Lambek with product and PCMLL -- Partially Commutative Multiplicative Linear Logic
Maxime Amblard (INRIA Nancy - Grand Est / LORIA), Christian Retoré (LaBRI)
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[6] arXiv:1402.0705 [pdf, other]
Title: Implicational Relevance Logic is 2-EXPTIME-Complete
Sylvain Schmitz
Comments: Fixed Fig. 6 as pointed out by Hiromi Tanaka
Journal-ref: Proceedings of RTA-TLCA 2014, Lecture Notes in Computer Science 8560, pp. 395--409, Springer, 2014; journal version in Journal of Symbolic Logic 81(2), pages 641--661, 2016
Subjects: Logic in Computer Science (cs.LO)
[7] arXiv:1402.0746 [pdf, other]
Title: Modular Complexity Analysis for Term Rewriting
Harald Zankl (University of Innsbruck), Martin Korp (University of Innsbruck)
Comments: 33 pages; Special issue of RTA 2010
Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 1 (April 1, 2014) lmcs:749
Subjects: Logic in Computer Science (cs.LO)
[8] arXiv:1402.0761 [pdf, other]
Title: Higher Inductive Types as Homotopy-Initial Algebras
Kristina Sojakova
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
[9] arXiv:1402.0897 [pdf, other]
Title: Automata theory in nominal sets
Mikołaj Bojańczyk (University of Warsaw), Bartek Klin (University of Warsaw), Sławomir Lasota (University of Warsaw)
Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 3 (August 15, 2014) lmcs:1157
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[10] arXiv:1402.1051 [pdf, other]
Title: Breaking a monad-comonad symmetry between computational effects
Jean-Guillaume Dumas (LJK), Dominique Duval (LJK), Jean-Claude Reynaud (RC)
Comments: arXiv admin note: substantial text overlap with arXiv:1310.0605
Journal-ref: Mathematical Structures in Computer Science 22, 4 (2012) p.719-722
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[11] arXiv:1402.1377 [pdf, other]
Title: Reasoning about Games via a First-order Modal Model Checking Approach
Davi Romero de Vasconcelos, Edward Hermann Haeusler
Comments: Extended version of article published in the SBMF 2007. Accepted to ENTCS. Withdrawn from ENTCS in 2014 in virtue to submission to other venue
Subjects: Logic in Computer Science (cs.LO)
[12] arXiv:1402.1450 [pdf, other]
Title: Smoothed Model Checking for Uncertain Continuous Time Markov Chains
Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti
Subjects: Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
[13] arXiv:1402.1535 [pdf, other]
Title: PUC-Logic
R. Q. A Fernandes, E. H. Haeusler, L. C. P. D Pereira
Comments: 33 pages, 1 figure
Subjects: Logic in Computer Science (cs.LO)
[14] arXiv:1402.1922 [pdf, other]
Title: Amortised Resource Analysis and Typed Polynomial Interpretations (extended version)
Martin Hofmann, Georg Moser
Comments: 25 pages
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[15] arXiv:1402.1992 [pdf, other]
Title: Euler/X: A Toolkit for Logic-based Taxonomy Integration
Mingmin Chen, Shizhuo Yu, Nico Franz, Shawn Bowers, Bertram Lu\''asher
Comments: 8 pages, 14 figures, WFLP 2013
Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB)
[16] arXiv:1402.2071 [pdf, other]
Title: Attribute Dependencies for Data with Grades
Radim Belohlavek, Vilem Vychodil
Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB)
[17] arXiv:1402.2102 [pdf, other]
Title: PTIME Computation of Transitive Closures of Octagonal Relations
Filip Konecny
Subjects: Logic in Computer Science (cs.LO)
[18] arXiv:1402.2127 [pdf, other]
Title: Deciding Entailments in Inductive Separation Logic with Tree Automata
Radu Iosif, Adam Rogalewicz, Tomas Vojnar
Subjects: Logic in Computer Science (cs.LO)
[19] arXiv:1402.2143 [pdf, other]
Title: Structural Refinement for the Modal nu-Calculus
Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
Comments: Accepted at ICTAC 2014
Subjects: Logic in Computer Science (cs.LO)
[20] arXiv:1402.2245 [pdf, other]
Title: Proof terms for infinitary rewriting, progress report
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
Subjects: Logic in Computer Science (cs.LO)
[21] arXiv:1402.2410 [pdf, other]
Title: Incremental QBF Solving
Florian Lonsing, Uwe Egly
Comments: revision (camera-ready, to appear in the proceedings of CP 2014, LNCS, Springer)
Subjects: Logic in Computer Science (cs.LO)
[22] arXiv:1402.2474 [pdf, other]
Title: Introducing Quantified Cuts in Logic with Equality
Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, Daniel Weller
Subjects: Logic in Computer Science (cs.LO)
[23] arXiv:1402.2698 [pdf, other]
Title: Automated Verification, Synthesis and Correction of Concurrent Systems via MSO Logic
Mateus de Oliveira Oliveira
Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS)
[24] arXiv:1402.2840 [pdf, other]
Title: Robust Synchronization in Markov Decision Processes
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Comments: 27 pages, 9 figures, 3 Tables. arXiv admin note: text overlap with arXiv:1310.2935
Subjects: Logic in Computer Science (cs.LO)
[25] arXiv:1402.2908 [pdf, other]
Title: The Power of Well-Structured Systems
Sylvain Schmitz, Philippe Schnoebelen
Comments: Invited talk
Journal-ref: Proceedings of Concur 2013, Lecture Notes in Computer Science vol. 8052, pp. 5--24
Subjects: Logic in Computer Science (cs.LO)
Total of 69 entries : 1-25 26-50 51-69
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