Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Logic in Computer Science

Authors and titles for June 2010

Total of 79 entries
Showing up to 2000 entries per page: fewer | more | all
[1] arXiv:1006.0030 [pdf, other]
Title: An Implicit Characterization of PSPACE
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[2] arXiv:1006.0220 [pdf, other]
Title: The Complexity of Reasoning for Fragments of Autoepistemic Logic
Nadia Creignou, Arne Meier, Michael Thomas, Heribert Vollmer
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[3] arXiv:1006.0393 [pdf, other]
Title: A domain-theoretic investigation of posets of sub-sigma-algebras (extended abstract)
Ingo Battenfeld (TU Dortmund)
Journal-ref: EPTCS 24, 2010, pp. 19-28
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[4] arXiv:1006.0395 [pdf, other]
Title: Computation with Advice
Vasco Brattka (University of Cape Town), Arno Pauly (University of Cambridge)
Journal-ref: EPTCS 24, 2010, pp. 41-55
Subjects: Logic in Computer Science (cs.LO)
[5] arXiv:1006.0396 [pdf, other]
Title: The Cardinality of an Oracle in Blum-Shub-Smale Computation
Wesley Calvert (Murray State University), Ken Kramer (Queens College & CUNY Graduate Center), Russell Miller (Queens College & CUNY Graduate Center)
Journal-ref: EPTCS 24, 2010, pp. 56-66
Subjects: Logic in Computer Science (cs.LO)
[6] arXiv:1006.0397 [pdf, other]
Title: Effective Capacity and Randomness of Closed Sets
Douglas Cenzer (University of Florida), Paul Brodhead (Virginia State University)
Journal-ref: EPTCS 24, 2010, pp. 67-76
Subjects: Logic in Computer Science (cs.LO); Information Theory (cs.IT); Logic (math.LO)
[7] arXiv:1006.0398 [pdf, other]
Title: Real Analytic Machines and Degrees
Tobias Gärtner (Universität des Saarlandes), Martin Ziegler (TU Darmstadt)
Comments: 20 pages. A preliminary version of this work had appeared in Proc. CCA 2011, EPTCS vol.24, arXiv:1006.0398v1
Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 3 (September 2, 2011) lmcs:1019
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[8] arXiv:1006.0403 [pdf, other]
Title: NP-Logic Systems and Model-Equivalence Reductions
Yuping Shen (Institute of Logic and Cognition, Sun Yat-sen University), Xishun Zhao (Institute of Logic and Cognition, Sun Yat-sen University)
Journal-ref: EPTCS 24, 2010, pp. 130-138
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[9] arXiv:1006.0706 [pdf, other]
Title: Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories
Luis Barguno (UPC Barcelona), Guillem Godoy (UPC Barcelona), Eduard Huntingford (UPC Barcelona), Ashish Tiwari (SRI International)
Comments: 20 pages
Journal-ref: Logical Methods in Computer Science, Volume 6, Issue 3 (August 25, 2010) lmcs:821
Subjects: Logic in Computer Science (cs.LO)
[10] arXiv:1006.0880 [pdf, other]
Title: Expressiveness of a Provenance-Enabled Authorization Logic
Jinwei Hu
Comments: 8 pages
Journal-ref: International Journal of Managing Information Technology 2.2 (2010) 23-30
Subjects: Logic in Computer Science (cs.LO)
[11] arXiv:1006.1403 [pdf, other]
Title: Discounting in Games across Time Scales
Krishnendu Chatterjee (IST Austria), Rupak Majumdar (UCLA)
Journal-ref: EPTCS 25, 2010, pp. 22-29
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)
[12] arXiv:1006.1406 [pdf, other]
Title: On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components
Giovanna D'Agostino (University of Udine, Italy), Giacomo Lenzi (University of Salerno, Italy)
Journal-ref: EPTCS 25, 2010, pp. 55-71
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[13] arXiv:1006.1407 [pdf, other]
Title: Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
Davide Bresolin (University of Verona, Verona, Italy), Pietro Sala (University of Verona, Verona, Italy), Guido Sciavicco (University of Murcia, Murcia, Spain)
Journal-ref: EPTCS 25, 2010, pp. 72-88
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[14] arXiv:1006.1408 [pdf, other]
Title: Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis
Andreas Morgenstern (University Kaiserslautern), Klaus Schneider (University Kaiserslautern)
Journal-ref: EPTCS 25, 2010, pp. 89-102
Subjects: Logic in Computer Science (cs.LO)
[15] arXiv:1006.1412 [pdf, other]
Title: On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions
Marco Bernardo (University of Urbino)
Journal-ref: EPTCS 25, 2010, pp. 199-213
Subjects: Logic in Computer Science (cs.LO)
[16] arXiv:1006.1414 [pdf, other]
Title: Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions
Cătălin Dima (LACL, Université Paris-Est Créteil), Constantin Enea (LIAFA, CNRS UMR 7089, Université Paris Diderot - Paris 7), Dimitar Guelev (Section of Logic, Institute of Mathematics and Informatics, Bulgarian Academy of Sciences)
Journal-ref: EPTCS 25, 2010, pp. 103-117
Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)
[17] arXiv:1006.1416 [pdf, other]
Title: Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking
Christian Appold
Journal-ref: EPTCS 25, 2010, pp. 173-187
Subjects: Logic in Computer Science (cs.LO)
[18] arXiv:1006.1429 [pdf, other]
Title: Causality and the Semantics of Provenance
James Cheney (University of Edinburgh)
Journal-ref: EPTCS 26, 2010, pp. 63-74
Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB)
[19] arXiv:1006.1430 [pdf, other]
Title: Equilibrium and Termination
Vincent Danos (University of Edinburgh), Nicolas Oury (University of Edinburgh)
Journal-ref: EPTCS 26, 2010, pp. 75-84
Subjects: Logic in Computer Science (cs.LO)
[20] arXiv:1006.1432 [pdf, other]
Title: The space of measurement outcomes as a spectrum for non-commutative algebras
Bas Spitters (Radboud University Nijmegen)
Journal-ref: EPTCS 26, 2010, pp. 127-133
Subjects: Logic in Computer Science (cs.LO)
[21] arXiv:1006.1433 [pdf, other]
Title: Semantics of a Typed Algebraic Lambda-Calculus
Benoît Valiron
Journal-ref: EPTCS 26, 2010, pp. 147-158
Subjects: Logic in Computer Science (cs.LO)
[22] arXiv:1006.1492 [pdf, other]
Title: Mean-payoff Automaton Expressions
Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou
Subjects: Logic in Computer Science (cs.LO)
[23] arXiv:1006.1497 [pdf, other]
Title: Analyzing Graph Transformation Systems through Constraint Handling Rules
Frank Raiser, Thom Frühwirth
Comments: 45 pages, 11 figures, to appear in Theory and Practice of Logic Programming (TPLP)
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[24] arXiv:1006.2283 [pdf, other]
Title: The duality of computation under focus
Pierre-Louis Curien (PPS, INRIA Paris - Rocquencourt), Guillaume Munch-Maccagnoni (PPS, INRIA Paris - Rocquencourt)
Journal-ref: IFIP International Conference on Theoretical Computer Science, Brisbane : Australia (2010)
Subjects: Logic in Computer Science (cs.LO)
[25] arXiv:1006.2461 [pdf, other]
Title: Does Treewidth Help in Modal Satisfiability?
M. Praveen
Comments: Full version of the paper appearing in MFCS 2010. Change from v1: improved section 5 to avoid exponential blow-up in formula size
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[26] arXiv:1006.2495 [pdf, other]
Title: Mirrored Language Structure and Innate Logic of the Human Brain as a Computable Model of the Oracle Turing Machine
Han Xiao Wen
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[27] arXiv:1006.2772 [pdf, other]
Title: Controlling program extraction in Elementary Linear Logic
Marc Lasson
Comments: 15 pages, 0 figures
Subjects: Logic in Computer Science (cs.LO)
[28] arXiv:1006.2867 [pdf, other]
Title: Internalized realizability in pure type systems
Marc Lasson
Comments: Technical report. Very dry. The paper has beenbeen withdrawn: it is superseded by "Realizability and Parametricity in Pure Type Systems" in FOSSACS 2011
Subjects: Logic in Computer Science (cs.LO)
[29] arXiv:1006.2921 [pdf, other]
Title: Instantiation of SMT problems modulo Integers
Mnacho Echenim, Nicolas Peltier
Comments: Research report, long version of our AISC 2010 paper
Subjects: Logic in Computer Science (cs.LO)
[30] arXiv:1006.2944 [pdf, other]
Title: Modularity of Convergence and Strong Convergence in Infinitary Rewriting
Stefan Michael Kahrs (University of Kent)
Journal-ref: Logical Methods in Computer Science, Volume 6, Issue 3 (September 6, 2010) lmcs:878
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[31] arXiv:1006.2993 [pdf, other]
Title: Two-Domain DNA Strand Displacement
Luca Cardelli (Microsoft Research)
Journal-ref: EPTCS 26, 2010, pp. 47-61
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[32] arXiv:1006.3027 [pdf, other]
Title: Algebraic Theories over Nominal Sets
Alexander Kurz, Daniela Petrişan, Jiří Velebil
Comments: 16 pages
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[33] arXiv:1006.3134 [pdf, other]
Title: Classical and Intuitionistic Subexponential Logics are Equally Expressive
Kaustuv Chaudhuri
Comments: 15 pages, to appear in 19th EACSL Annual Conference on Computer Science Logic (CSL 2010)
Subjects: Logic in Computer Science (cs.LO)
[34] arXiv:1006.3140 [pdf, other]
Title: A convenient differential category
Richard Blute, Thomas Ehrhard (PPS), Christine Tasson (LMeASI)
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[35] arXiv:1006.3678 [pdf, other]
Title: Functional Answer Set Programming
Pedro Cabalar
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[36] arXiv:1006.3709 [pdf, other]
Title: Extended Computation Tree Logic
Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte
Subjects: Logic in Computer Science (cs.LO)
[37] arXiv:1006.4621 [pdf, other]
Title: The Question of Expressiveness in the Generation of Referring Expressions
Carlos Areces, Santiago Figueira, Daniel Gorín
Subjects: Logic in Computer Science (cs.LO)
[38] arXiv:1006.4793 [pdf, other]
Title: Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic
Rajeev Gore, Linda Postniece, Alwen Tiu
Subjects: Logic in Computer Science (cs.LO)
[39] arXiv:1006.4939 [pdf, other]
Title: Enumeration Order Equivalency
Ali Akbar Safilian, Farzad Didehvar
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[40] arXiv:1006.4943 [pdf, other]
Title: Sound Bisimulations for Higher-Order Distributed Process Calculus
Adrien Piérard, Eijiro Sumii
Comments: 15 pages, uses mathpartir and tikz, appendix at [this http URL], the final publication is available at [this http URL]
Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)
[41] arXiv:1006.4948 [pdf, other]
Title: Automatic Music Composition using Answer Set Programming
Georg Boenn, Martin Brain, Marina De Vos, John ffitch
Comments: 31 pages, 10 figures. Extended version of our ICLP2008 paper. Formatted following TPLP guidelines
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[42] arXiv:1006.4955 [pdf, other]
Title: Local Termination: theory and practice
Joerg Endrullis (Vrije Universiteit Amsterdam), Roel de Vrijer (Vrije Universiteit Amsterdam), Johannes Waldmann (Hochschule fuer Technik, Wirtschaft und Kultur Leipzig)
Journal-ref: Logical Methods in Computer Science, Volume 6, Issue 3 (September 7, 2010) lmcs:879
Subjects: Logic in Computer Science (cs.LO)
[43] arXiv:1006.5094 [pdf, other]
Title: Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior
Alessandro Aldini (Univ. of Urbino)
Journal-ref: EPTCS 28, 2010, pp. 1-15
Subjects: Logic in Computer Science (cs.LO)
[44] arXiv:1006.5096 [pdf, other]
Title: Automatic Probabilistic Program Verification through Random Variable Abstraction
Damián Barsotti (Universidad Nacional de Córdoba), Nicolás Wolovick (Universidad Nacional de Córdoba)
Journal-ref: EPTCS 28, 2010, pp. 34-47
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[45] arXiv:1006.5098 [pdf, other]
Title: Injecting Abstract Interpretations into Linear Cost Models
David Cachera, Arnaud Jobin
Journal-ref: EPTCS 28, 2010, pp. 64-81
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[46] arXiv:1006.5100 [pdf, other]
Title: Testing Reactive Probabilistic Processes
Sonja Georgievska, Suzana Andova
Journal-ref: EPTCS 28, 2010, pp. 99-113
Subjects: Logic in Computer Science (cs.LO)
[47] arXiv:1006.5101 [pdf, other]
Title: Probabilistic Model-Based Safety Analysis
Matthias Güdemann, Frank Ortmeier
Journal-ref: EPTCS 28, 2010, pp. 114-128
Subjects: Logic in Computer Science (cs.LO)
[48] arXiv:1006.5102 [pdf, other]
Title: An expectation transformer approach to predicate abstraction and data independence for probabilistic programs
Ukachukwu Ndukwu (Deptartment of Computing, Macquarie University, Australia.), Annabelle McIver (Deptartment of Computing, Macquarie University, Australia.)
Journal-ref: EPTCS 28, 2010, pp. 129-143
Subjects: Logic in Computer Science (cs.LO)
[49] arXiv:1006.5516 [pdf, other]
Title: Rewriting Preserving Recognizability of Finite Tree Languages
Sandor vagvolgyi
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[50] arXiv:1006.5561 [pdf, other]
Title: Domain Representable Spaces Defined by Strictly Positive Induction
Petter Kristian Køber (University of Oslo)
Comments: 48 pages. Accepted for publication in Logical Methods in Computer Science
Journal-ref: Logical Methods in Computer Science, Volume 6, Issue 3 (August 26, 2010) lmcs:955
Subjects: Logic in Computer Science (cs.LO)
[51] arXiv:1006.0392 (cross-list from cs.NA) [pdf, other]
Title: Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems
Stefano Galatolo (Dipartiento di matematica applicata, Universita di Pisa), Mathieu Hoyrup (LORIA, Vandoeuvre-l es-Nancy, France), Cristóbal Rojas (Fields Institute, Toronto, Canada)
Journal-ref: EPTCS 24, 2010, pp. 7-18
Subjects: Numerical Analysis (math.NA); Computational Engineering, Finance, and Science (cs.CE); Logic in Computer Science (cs.LO)
[52] arXiv:1006.0402 (cross-list from cs.CC) [pdf, other]
Title: A Local to Global Principle for the Complexity of Riemann Mappings (Extended Abstract)
Robert Rettinger
Journal-ref: EPTCS 24, 2010, pp. 120-129
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Numerical Analysis (math.NA)
[53] arXiv:1006.0551 (cross-list from cs.CC) [pdf, other]
Title: Proceedings Seventh International Conference on Computability and Complexity in Analysis
Xizhong Zheng (Arcadia University), Ning Zhong (University of Cincinnati)
Journal-ref: EPTCS 24, 2010
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[54] arXiv:1006.0673 (cross-list from cs.GT) [pdf, other]
Title: Randomness for Free
Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger
Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[55] arXiv:1006.1010 (cross-list from quant-ph) [pdf, other]
Title: Geometry of abstraction in quantum computation
Dusko Pavlovic
Comments: 29 pages, 42 figures; Clifford Lectures 2008 (main speaker Samson Abramsky); this version fixes a pstricks problem in a diagram
Journal-ref: Proceedings of Symposia in Applied Mathematics vol. 71 (2012) 233--267
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Category Theory (math.CT)
[56] arXiv:1006.1011 (cross-list from quant-ph) [pdf, other]
Title: Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories
Dusko Pavlovic
Comments: 21 pages, 6 figures; Proceedings of Quantum Physics and Logic, Oxford 8-9 April 2009
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Mathematical Physics (math-ph); Category Theory (math.CT)
[57] arXiv:1006.1409 (cross-list from cs.GT) [pdf, other]
Title: Local Strategy Improvement for Parity Game Solving
Oliver Friedmann (University of Munich), Martin Lange (University of Kassel)
Journal-ref: EPTCS 25, 2010, pp. 118-131
Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)
[58] arXiv:1006.1410 (cross-list from cs.GT) [pdf, other]
Title: Playing Muller Games in a Hurry
John Fearnley (University of Warwick), Martin Zimmermann (RWTH Aachen University)
Journal-ref: EPTCS 25, 2010, pp. 146-161
Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[59] arXiv:1006.1413 (cross-list from cs.PL) [pdf, other]
Title: Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas
Davide Ancona (DISI - University of Genova), Giovanni Lagorio (DISI - University of Genova)
Journal-ref: EPTCS 25, 2010, pp. 214-230
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[60] arXiv:1006.1711 (cross-list from cs.GT) [pdf, other]
Title: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification
Angelo Montanari (Università di Udine), Margherita Napoli (Università di Salerno), Mimmo Parente (Università di Salerno)
Journal-ref: EPTCS 25, 2010
Subjects: Computer Science and Game Theory (cs.GT); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[61] arXiv:1006.1937 (cross-list from quant-ph) [pdf, other]
Title: Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics
S. Barry Cooper, Prakash Panangaden, Elham Kashefi
Journal-ref: EPTCS 26, 2010
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO)
[62] arXiv:1006.1951 (cross-list from cs.SE) [pdf, other]
Title: Timed Games for Computing Worst-Case Execution-Times
Franck Cassez
Comments: NICTA Research Report, Sydney, Australia
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[63] arXiv:1006.2197 (cross-list from math.LO) [pdf, other]
Title: Effectiveness in RPL, with Applications to Continuous Logic
Farzad Didehvar, Kaveh Ghasemloo, Massoud Pourmahdian
Journal-ref: Annals of Pure and Applied Logic, Volume 161, Issue 6, March 2010, Pages 789-799 (The proceedings of the IPM 2007 Logic Conference)
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[64] arXiv:1006.2289 (cross-list from cs.AI) [pdf, other]
Title: Unification in the Description Logic EL
Franz Baader (Institute for Theoretical Computer Science, TU Dresden), Barbara Morawska (Institute for Theoretical Computer Science, TU Dresden)
Comments: 31pages
Journal-ref: Logical Methods in Computer Science, Volume 6, Issue 3 (September 4, 2010) lmcs:1106
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[65] arXiv:1006.2719 (cross-list from cs.FL) [pdf, other]
Title: Partially Ordered Two-way Büchi Automata
Manfred Kufleitner, Alexander Lauser
Comments: The results of this paper were presented at CIAA 2010; University of Stuttgart, Computer Science
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[66] arXiv:1006.2992 (cross-list from cs.GT) [pdf, other]
Title: Imitation in Large Games
Soumya Paul (The Institute of Mathematical Sciences, Chennai), R. Ramanujam (The Institute of Mathematical Sciences, Chennai)
Journal-ref: EPTCS 25, 2010, pp. 162-172
Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[67] arXiv:1006.3215 (cross-list from cs.AI) [pdf, other]
Title: Solving Functional Constraints by Variable Substitution
Yuanlin Zhang, Roland H.C. Yap
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[68] arXiv:1006.3786 (cross-list from cs.DM) [pdf, other]
Title: On the concentration of the number of solutions of random satisfiability formulas
Emmanuel Abbe, Andrea Montanari
Subjects: Discrete Mathematics (cs.DM); Statistical Mechanics (cond-mat.stat-mech); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Probability (math.PR)
[69] arXiv:1006.4304 (cross-list from cs.CR) [pdf, other]
Title: Abstract Certification of Global Non-Interference in Rewriting Logic
Mauricio Alba-Castro (1) (2), María Alpuente (1), Santiago Escobar (1) ((1) ELP-DSIC, U. Politécnica de Valencia, Spain. alpuente,sescobar@dsic.<a href="http://upv.es" rel="external noopener nofollow" class="link-external link-http">this http URL</a>. (2) U. Autónoma de Manizales, Colombia. malba@autonoma.<a href="http://edu.co" rel="external noopener nofollow" class="link-external link-http">this http URL</a>)
Comments: 26 pages. ACM class (full): D.2.4 [Software Engineering]: Software/Program Verification---Formal Methods; F.3.2 [Logics and Meaning of Programs]: Semantics of Programming Languages---Program Analysis
Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[70] arXiv:1006.4342 (cross-list from cs.DC) [pdf, other]
Title: Formal Derivation of Concurrent Garbage Collectors
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
Comments: 38 pages, 21 figures. The short version of this paper appeared in the Proceedings of MPC 2010
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)
[71] arXiv:1006.4442 (cross-list from cs.PL) [pdf, other]
Title: On the Implementation of the Probabilistic Logic Programming Language ProbLog
Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha
Comments: 28 pages; To appear in Theory and Practice of Logic Programming (TPLP)
Journal-ref: Theory and Practice of Logic Programming, 11, 235-262, 2011
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[72] arXiv:1006.4923 (cross-list from cs.CC) [pdf, other]
Title: Complexity Classifications for Propositional Abduction in Post's Framework
Nadia Creignou, Johannes Schmidt, Michael Thomas
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[73] arXiv:1006.5095 (cross-list from cs.PF) [pdf, other]
Title: Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
Karine Altisen (Verimag (Grenoble INP)), Yanhong Liu (Verimag (Grenoble INP)), Matthieu Moy (Verimag (Grenoble INP))
Journal-ref: EPTCS 28, 2010, pp. 16-33
Subjects: Performance (cs.PF); Logic in Computer Science (cs.LO)
[74] arXiv:1006.5099 (cross-list from cs.CE) [pdf, other]
Title: Stochastic Calculus of Wrapped Compartments
Mario Coppo (Dipartimento di Informatica, Università di Torino), Ferruccio Damiani (Dipartimento di Informatica, Università di Torino), Maurizio Drocco (Dipartimento di Informatica, Università di Torino), Elena Grassi (Dipartimento di Informatica and Molecular Biotechnology Center, Dipartimento di Genetica, Biologia e Biochimica, Università di Torino), Angelo Troina (Dipartimento di Informatica, Università di Torino)
Journal-ref: EPTCS 28, 2010, pp. 82-98
Subjects: Computational Engineering, Finance, and Science (cs.CE); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Quantitative Methods (q-bio.QM)
[75] arXiv:1006.5107 (cross-list from cs.PL) [pdf, other]
Title: Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages
Alessandra Di Pierro (University of Verona), Gethin Norman (University of Glasgow)
Journal-ref: EPTCS 28, 2010
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Performance (cs.PF)
[76] arXiv:1006.5621 (cross-list from cs.DM) [pdf, other]
Title: Better algorithms for satisfiability problems for formulas of bounded rank-width
Robert Ganian, Petr Hliněný, Jan Obdržálek
Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)
[77] arXiv:1006.5768 (cross-list from cs.SC) [pdf, other]
Title: A Unified Formal Description of Arithmetic and Set Theoretical Data Types
Paul Tarau
Comments: 15 pages, preprint of CALCULEMUS 2010 conference paper
Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)
[78] arXiv:1006.5896 (cross-list from cs.AI) [pdf, other]
Title: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
Mikoláš Janota, Joao Marques-Silva, Radu Grigore
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[79] arXiv:1006.5906 (cross-list from cs.FL) [pdf, other]
Title: A Saturation Method for the Modal Mu-Calculus with Backwards Modalities over Pushdown Systems
M. Hague, C.-H. L. Ong
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
Total of 79 entries
Showing up to 2000 entries per page: fewer | more | all