Logic in Computer Science

Authors and titles for February 2010

[1] arXiv:1002.0172 [pdf, other]

Title: Optimal and Cut-free Tableaux for Propositional Dynamic Logic with Converse

Rajeev Goré, Florian Widmann

Comments: 30 pages, minor improvements, some typos, change of title

Subjects: Logic in Computer Science (cs.LO)

[2] arXiv:1002.0935 [pdf, other]

Title: Execution Models for Choreographies and Cryptoprotocols

Marco Carbone (IT University of Copenhagen), Joshua Guttman (Worcester Polytechnic Institute)

Journal-ref: EPTCS 17, 2010, pp. 31-41

Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR)

[3] arXiv:1002.1464 [pdf, other]

Title: Parikh Images of Regular Languages: Complexity and Applications

Anthony Widjaja To

Comments: Full version of submission to LICS 2010

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[4] arXiv:1002.1796 [pdf, other]

Title: Refinement and Verification of Real-Time Systems

Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmerer, Dino Mandrioli

Comments: 59 pages

Subjects: Logic in Computer Science (cs.LO)

[5] arXiv:1002.1833 [pdf, other]

Title: The Full Abstraction Problem for Higher Order Functional-Logic Programs

F.J. López-Fraguas, J. Rodríguez-Hortalá

Journal-ref: WLPE 2009 Proceedings

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[6] arXiv:1002.1836 [pdf, other]

Title: Towards Parameterized Regular Type Inference Using Set Constraints

F. Bueno, J. Navas, M. Hermenegildo

Journal-ref: WLPE 2009 Proceedings

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[7] arXiv:1002.2236 [pdf, other]

Title: A Logical Product Approach to Zonotope Intersection

Khalil Ghorbal, Eric Goubault, Sylvie Putot

Subjects: Logic in Computer Science (cs.LO); Numerical Analysis (math.NA)

[8] arXiv:1002.2578 [pdf, other]

Title: Modular Construction of Fixed Point Combinators and Clocked Boehm Trees

Joerg Endrullis, Dimitri Hendriks, Jan Willem Klop

Subjects: Logic in Computer Science (cs.LO)

[9] arXiv:1002.2864 [pdf, other]

Title: A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages

Luca Aceto (Reykjavik University), Matteo Cimini (Reykjavik University), Anna Ingolfsdottir (Reykjavik University)

Journal-ref: EPTCS 18, 2010, pp. 1-16

Subjects: Logic in Computer Science (cs.LO)

[10] arXiv:1002.2867 [pdf, other]

Title: A Fully Abstract Symbolic Semantics for Psi-Calculi

Magnus Johansson (Uppsala University), Björn Victor (Uppsala University), Joachim Parrow (Uppsala University)

Journal-ref: EPTCS 18, 2010, pp. 17-31

Subjects: Logic in Computer Science (cs.LO)

[11] arXiv:1002.2868 [pdf, other]

Title: Causality in the Semantics of Esterel: Revisited

MohammadReza Mousavi (Eindhoven University of Technology)

Journal-ref: EPTCS 18, 2010, pp. 32-45

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[12] arXiv:1002.2869 [pdf, other]

Title: On Barbs and Labels in Reactive Systems

Filippo Bonchi (CWI Amsterdam), Fabio Gadducci (Università di Pisa), Giacoma Valentina Monreale (Università di Pisa)

Journal-ref: EPTCS 18, 2010, pp. 46-61

Subjects: Logic in Computer Science (cs.LO)

[13] arXiv:1002.2871 [pdf, other]

Title: Reverse Bisimulations on Stable Configuration Structures

Iain Phillips (Imperial College London), Irek Ulidowski (University of Leicester)

Journal-ref: EPTCS 18, 2010, pp. 62-76

Subjects: Logic in Computer Science (cs.LO)

[14] arXiv:1002.2873 [pdf, other]

Title: Analysis of Boolean Equation Systems through Structure Graphs

Michel A. Reniers (Eindhoven University of Technology), Tim A.C. Willemse (Eindhoven University of Technology)

Journal-ref: EPTCS 18, 2010, pp. 92-107

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[15] arXiv:1002.2954 [pdf, other]

Title: The Complexity of Proving the Discrete Jordan Curve Theorem

Phuong Nguyen, Stephen Cook

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[16] arXiv:1002.2978 [pdf, other]

Title: Proceedings Sixth Workshop on Structural Operational Semantics

Bartek Klin (University of Cambridge, Warsaw University), Paweł Sobociński (University of Southampton)

Journal-ref: EPTCS 18, 2010

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[17] arXiv:1002.3083 [pdf, other]

Title: L2C2: Logic-based LSC Consistency Checking

Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam

Comments: To be included in the on-line proceedings of WLPE'2009

Journal-ref: WLPE 2009 proceedings

Subjects: Logic in Computer Science (cs.LO)

[18] arXiv:1002.3131 [pdf, other]

Title: The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings)

Daniel de Carvalho, Lorenzo Tortora de Falco

Comments: 36 pages

Subjects: Logic in Computer Science (cs.LO)

[19] arXiv:1002.3222 [pdf, other]

Title: Structural Analysis of Boolean Equation Systems

Jeroen Keiren, Michel A. Reniers, Tim A.C. Willemse

Subjects: Logic in Computer Science (cs.LO)

[20] arXiv:1002.3330 [pdf, other]

Title: Deriving Relationship Between Semantic Models - An Approach for cCSP

Shamim H. Ripon, Michael Butler

Comments: 8 Pages IEEE format, International Journal of Computer Science and Information Security, IJCSIS January 2010, ISSN 1947 5500

Journal-ref: International Journal of Computer Science and Information Security, IJCSIS, Vol. 7, No. 1, pp. 47-54, January 2010, USA

Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[21] arXiv:1002.3438 [pdf, other]

Title: Algèbres de réalisabilité: un programme pour bien ordonner R

Jean-Louis Krivine (PPS)

Comments: 45 pages

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[22] arXiv:1002.4286 [pdf, other]

Title: Redundancy, Deduction Schemes, and Minimum-Size Bases for Association Rules

Jose L. Balcazar

Comments: LMCS accepted paper

Journal-ref: Logical Methods in Computer Science, Volume 6, Issue 2 (June 27, 2010) lmcs:812

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[23] arXiv:1002.4334 [pdf, other]

Title: On Semantic Generalizations of the Bernays-Schönfinkel-Ramsey Class with Finite or Co-finite Spectra

Abhisekh Sankaran, Supratik Chakraborty

Comments: 26 pages, no figures, submitted to LICS 2010 (decision pending); just added a reference to a related work in this version

Subjects: Logic in Computer Science (cs.LO)

[24] arXiv:1002.4535 [pdf, other]

Title: Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009)

Rafael Caballero, John Gallagher (eds.)

Comments: Html page including the links to the papers presented at the Workshop. The papers are already in CoRR

Subjects: Logic in Computer Science (cs.LO)

[25] arXiv:1002.4616 [pdf, other]

Title: Robust Vacuity for Branching Temporal Logic

Arie Gurfinkel, Marsha Chechik

Subjects: Logic in Computer Science (cs.LO)

[26] arXiv:1002.0930 (cross-list from cs.PL) [pdf, other]

Title: Towards a Unified Framework for Declarative Structured Communications

Hugo A. López (IT University of Copenhagen), Carlos Olarte (École Polytechnique - Universidad Javeriana Cali), Jorge A. Pérez (University of Bologna)

Journal-ref: EPTCS 17, 2010, pp. 1-15

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[27] arXiv:1002.1422 (cross-list from cs.PL) [pdf, other]

Title: Integrating Interval Constraints into Logic Programming

M.H. van Emden

Comments: 21 pages, 2 tables, no figures

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Numerical Analysis (math.NA)

[28] arXiv:1002.2800 (cross-list from math.LO) [pdf, other]

Title: Closed Choice and a Uniform Low Basis Theorem

Vasco Brattka, Matthew de Brecht, Arno Pauly

Journal-ref: Annals of Pure and Applied Logic 163:8 (2012) 986--1008

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[29] arXiv:1002.2872 (cross-list from cs.PL) [pdf, other]

Title: Rewriting Logic Semantics of a Plan Execution Language

Gilles Dowek (École Polytechnique and INRIA), César Muñoz (National Institute of Aerospace), Camilo Rocha (University of Illinois)

Journal-ref: EPTCS 18, 2010, pp. 77-91

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[30] arXiv:1002.4061 (cross-list from cs.CE) [pdf, other]

Title: Flux Analysis in Process Models via Causality

Ozan Kahramanoğullari (The Microsoft Research - University of Trento, Centre for Computational and Systems Biology)

Journal-ref: EPTCS 19, 2010, pp. 20-39

Subjects: Computational Engineering, Finance, and Science (cs.CE); Logic in Computer Science (cs.LO); Quantitative Methods (q-bio.QM)

[31] arXiv:1002.4066 (cross-list from cs.CE) [pdf, other]

Title: Types for BioAmbients

Sara Capecchi (Dipartimento di Informatica, Università di Torino), Angelo Troina (Dipartimento di Informatica, Università di Torino)

Journal-ref: EPTCS 19, 2010, pp. 103-115

Subjects: Computational Engineering, Finance, and Science (cs.CE); Logic in Computer Science (cs.LO); Quantitative Methods (q-bio.QM)

[32] arXiv:1002.4392 (cross-list from cs.FL) [pdf, other]

Title: Complete Context Calculus Design and Implementation in GIPSY

Xin Tong, Joey Paquet, Serguei A. Mokhov

Comments: 21 page; 18 listings; 2 figures; a complete version of the referenced simple context calculus implementation

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)