Logic in Computer Science

Authors and titles for July 2007

[1] arXiv:0707.0556 [pdf, other]

Title: Determinacy in a synchronous pi-calculus

Roberto Amadio (PPS), Mehdi Dogguy (PPS)

Comments: To appear in the book `From semantics to computer science: essays in honor of Gilles Kahn', Cambridge University Press

Journal-ref: From semantics to computer science: essays in honor of Gilles Kahn, Y. Bertot et al. (Ed.) (2009) 1-27

Subjects: Logic in Computer Science (cs.LO)

[2] arXiv:0707.0562 [pdf, other]

Title: On a Non-Context-Free Extension of PDL

Stefan Göller, Dirk Nowotka

Subjects: Logic in Computer Science (cs.LO)

[3] arXiv:0707.0744 [pdf, other]

Title: A process algebra based framework for promise theory

Jan Bergstra, Inge Bethke, Mark Burgess

Comments: 9 pages, 4 figures

Subjects: Logic in Computer Science (cs.LO)

[4] arXiv:0707.0890 [pdf, other]

Title: Are there Hilbert-style Pure Type Systems?

M. W. Bunder, W. M. J.Dekkers

Comments: Accepted in Logical Methods in Computer Science

Journal-ref: Logical Methods in Computer Science, Volume 4, Issue 1 (January 7, 2008) lmcs:839

Subjects: Logic in Computer Science (cs.LO)

[5] arXiv:0707.0926 [pdf, other]

Title: Theorem proving support in programming language semantics

Yves Bertot (INRIA Sophia Antipolis)

Comments: Proposé pour publication dans l'ouvrage à la mémoire de Gilles Kahn

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

[6] arXiv:0707.1266 [pdf, other]

Title: Building Decision Procedures in the Calculus of Inductive Constructions

Frédéric Blanqui (INRIA Lorraine - LORIA), Jean-Pierre Jouannaud (INRIA Futurs), Pierre-Yves Strub (INRIA Futurs)

Journal-ref: Dans 16th EACSL Annual Conference on Computer Science and Logic - CSL 2007 (2007)

Subjects: Logic in Computer Science (cs.LO)

[7] arXiv:0707.1372 [pdf, other]

Title: Computability Closure: Ten Years Later

Frédéric Blanqui (INRIA Lorraine - LORIA)

Journal-ref: Dans Colloquium in honor of Jean-Pierre Jouannaud, 4600 (2007)

Subjects: Logic in Computer Science (cs.LO)

[8] arXiv:0707.1981 [pdf, other]

Title: A Normalizing Intuitionistic Set Theory with Inaccessible Sets

Wojciech Moczydlowski

Comments: To be published in Logical Methods in Computer Science

Journal-ref: Logical Methods in Computer Science, Volume 3, Issue 3 (August 16, 2007) lmcs:837

Subjects: Logic in Computer Science (cs.LO)

[9] arXiv:0707.2562 [pdf, other]

Title: A Characterisation of First-Order Constraint Satisfaction Problems

Benoit Larose, Cynthia Loten, Claude Tardif

Journal-ref: Logical Methods in Computer Science, Volume 3, Issue 4 (November 6, 2007) lmcs:1097

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

[10] arXiv:0707.3170 [pdf, other]

Title: Inductive Definition and Domain Theoretic Properties of Fully Abstract

Vladimir Sazonov

Comments: 50 pages

Journal-ref: Logical Methods in Computer Science, Volume 3, Issue 3 (September 10, 2007) lmcs:914

Subjects: Logic in Computer Science (cs.LO)

[11] arXiv:0707.3205 [pdf, other]

Title: Neutrality and Many-Valued Logics

Andrew Schumann, Florentin Smarandache

Comments: 119 pages

Journal-ref: A. Schumann, F. Smarandache, Neutrality and Many-Valued Logics. American Research Press, 2007

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

[12] arXiv:0707.3782 [pdf, other]

Title: Interactive Small-Step Algorithms I: Axiomatization

Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman

Journal-ref: Logical Methods in Computer Science, Volume 3, Issue 4 (November 5, 2007) lmcs:1200

Subjects: Logic in Computer Science (cs.LO)

[13] arXiv:0707.3789 [pdf, other]

Title: Interactive Small-Step Algorithms II: Abstract State Machines and the<br> Characterization Theorem

Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman

Journal-ref: Logical Methods in Computer Science, Volume 3, Issue 4 (November 5, 2007) lmcs:1201

Subjects: Logic in Computer Science (cs.LO)

[14] arXiv:0707.3435 (cross-list from cs.DC) [pdf, other]

Title: A Knowledge-Based Analysis of Global Function Computation

Joseph Y. Halpern, Sabina Petride

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

[15] arXiv:0707.3781 (cross-list from cs.AI) [pdf, other]

Title: Bijective Faithful Translations among Default Logics

Paolo Liberatore

Comments: Removed one useless section

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

[16] arXiv:0707.4255 (cross-list from cs.CC) [pdf, other]

Title: Complexity of Propositional Proofs under a Promise

Nachum Dershowitz, Iddo Tzameret

Comments: 32 pages; a preliminary version appeared in the Proceedings of ICALP'07

Journal-ref: ACM Transactions on Computational Logic, 11(3):1-29, 2010;

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