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 April 2009

Total of 41 entries : 1-25 26-41
Showing up to 25 entries per page: fewer | more | all
[1] arXiv:0904.0019 [pdf, other]
Title: On Solving Boolean Multilevel Optimization Problems
Josep Argelich, Ines Lynce, Joao Marques-Silva
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[2] arXiv:0904.0034 [pdf, other]
Title: CCS-Based Dynamic Logics for Communicating Concurrent Programs
Mario R. F. Benevides, L. Menasché Schechter
Comments: 28 pages
Subjects: Logic in Computer Science (cs.LO)
[3] arXiv:0904.0570 [pdf, other]
Title: The Derivational Complexity Induced by the Dependency Pair Method
Georg Moser (University of Innsbruck), Andreas Schnabl (University of Innsbruck)
Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 3 (July 13, 2011) lmcs:805
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Programming Languages (cs.PL)
[4] arXiv:0904.0578 [pdf, other]
Title: Efficient Description Logic Reasoning in Prolog: The DLog system
Gergely Lukácsy, Péter Szeredi
Comments: 73 pages, 5 Postscript figures, uses {rotating,multirow,fancyvrb,psfrag}.sty To appear in Theory and Practice of Logic Programming (TPLP)
Subjects: Logic in Computer Science (cs.LO)
[5] arXiv:0904.0589 [pdf, other]
Title: Fuzzy Linguistic Logic Programming and its Applications
Van Hung Le (1), Fei Liu (1), Dinh Khang Tran (2) ((1)La Trobe University, Australia (2)Hanoi University of Technology, Vietnam)
Comments: 33 pages, to appear in Theory and Practice of Logic Programming (TPLP)
Subjects: Logic in Computer Science (cs.LO)
[6] arXiv:0904.0721 [pdf, other]
Title: Optimal Tableau Decision Procedures for PDL
Linh Anh Nguyen, Andrzej Szałas
Journal-ref: Fund. Inform. 104(4), pp. 349-384, 2010
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)
[7] arXiv:0904.0981 [pdf, other]
Title: Dependency Pairs and Polynomial Path Orders
Martin Avanzini, Georg Moser
Comments: 23 pages, conference version accepted at RTA 2009
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Symbolic Computation (cs.SC)
[8] arXiv:0904.1302 [pdf, other]
Title: On the Parameterised Intractability of Monadic Second-Order Logic
Stephan Kreutzer
Comments: 23 pages
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[9] arXiv:0904.1488 [pdf, other]
Title: Computing Stuttering Simulations
Francesco Ranzato, Francesco Tapparo
Subjects: Logic in Computer Science (cs.LO)
[10] arXiv:0904.1529 [pdf, other]
Title: On the word problem for SP-categories, and the properties of two-way communication
Luigi Santocanale (LIF), Robin Cockett
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
[11] arXiv:0904.1701 [pdf, other]
Title: The Star Height Hierarchy Vs. The Variable Hierarchy
Walid Belkhir
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)
[12] arXiv:0904.1902 [pdf, other]
Title: On Distributed Model Checking of MSO on Graphs
Stephane Grumbach (INRIA Liama), Zhilin Wu (CASIA Liama)
Comments: 30 pages, 4 figures, this http URL,this http URL
Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC)
[13] arXiv:0904.1915 [pdf, other]
Title: Logical locality entails frugal distributed computation over graphs
Stephane Grumbach (INRIA Liama), Zhilin Wu (CASIA Liama)
Comments: 31 pages, 0 figures
Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC)
[14] arXiv:0904.2076 [pdf, other]
Title: On stratified regions
Roberto Amadio (PPS)
Journal-ref: Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Cor\'ee, R\'epublique De (2009)
Subjects: Logic in Computer Science (cs.LO)
[15] arXiv:0904.2340 [pdf, other]
Title: Explicit fairness in testing semantics
D. Cacciagrano, F. Corradini, C. Palamidessi
Comments: 27 pages, 1 figure, appeared in LMCS
Journal-ref: Logical Methods in Computer Science, Volume 5, Issue 2 (June 22, 2009) lmcs:1134
Subjects: Logic in Computer Science (cs.LO)
[16] arXiv:0904.2385 [pdf, other]
Title: The Category Theoretic Solution of Recursive Program Schemes
Stefan Milius, Lawrence S. Moss
Comments: this version includes the corrections from the corrigendum in Theoret. Comput. Sci. 403 (2008), 409-415
Journal-ref: Theoret. Comput. Sci. 366 (2006), 3-59
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[17] arXiv:0904.2521 [pdf, other]
Title: Universal Structures and the logic of Forbidden Patterns
Florent R. Madelaine
Comments: 25 pages, 3 figures, extended version of conference papers at CSR'06 and CSL'06
Journal-ref: Logical Methods in Computer Science, Volume 5, Issue 2 (June 2, 2009) lmcs:1237
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM)
[18] arXiv:0904.2638 [pdf, other]
Title: Better Quality in Synthesis through Quantitative Objectives
Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)
[19] arXiv:0904.2675 [pdf, other]
Title: Bounded Linear Logic, Revisited
Ugo Dal Lago (Università di Bologna), Martin Hofmann (LMU, Munchen)
Journal-ref: Logical Methods in Computer Science, Volume 6, Issue 4 (December 18, 2010) lmcs:1064
Subjects: Logic in Computer Science (cs.LO)
[20] arXiv:0904.2894 [pdf, other]
Title: On FO2 quantifier alternation over words
Manfred Kufleitner, Pascal Weil (LaBRI)
Journal-ref: Mathematical Foundations of Computer Science 2009, slovaque, R\'epublique (2009)
Subjects: Logic in Computer Science (cs.LO)
[21] arXiv:0904.3036 [pdf, other]
Title: Inconsistency Robustness in Logic Programs
Carl Hewitt
Comments: Limits of Classical Logic
Subjects: Logic in Computer Science (cs.LO)
[22] arXiv:0904.3157 [pdf, other]
Title: On the distributed evaluation of recursive queries over graphs
Stephane Grumbach (INRIA Liama), Fang Wang (ISCAS Sklcs), Zhilin Wu (CASIA Liama)
Comments: 28 pages, 0 figures, NOTERE 2009
Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC)
[23] arXiv:0904.3469 [pdf, other]
Title: Toggling operators in computability logic
Giorgi Japaridze
Journal-ref: Theoretical Computer Science 412 (2011), pp. 971-1004
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Logic (math.LO)
[24] arXiv:0904.3525 [pdf, other]
Title: On using floating-point computations to help an exact linear arithmetic decision procedure
David Monniaux (VERIMAG - Imag)
Subjects: Logic in Computer Science (cs.LO); Numerical Analysis (math.NA)
[25] arXiv:0904.3588 [pdf, other]
Title: Termination of Linear Programs with Nonlinear Constraints
Bican Xia, Zhihai Zhang
Comments: 17pages, 0 figures
Subjects: Logic in Computer Science (cs.LO)
Total of 41 entries : 1-25 26-41
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