Logic in Computer Science

Authors and titles for January 2012

[1] arXiv:1201.0345 [pdf, other]

Title: Proceedings Second Workshop on Developments in Implicit Computational Complexity

Jean-Yves Marion (LORIA)

Comments: EPTCS 75, 2012

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

[2] arXiv:1201.0416 [pdf, other]

Title: Open Bisimulation for Quantum Processes

Yuxin Deng, Yuan Feng

Comments: 25 pages. Comments are welcome

Subjects: Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

[3] arXiv:1201.0557 [pdf, other]

Title: Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem

Libor Barto (Charles University in Prague), Marcin Kozik (Jagiellonian University)

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 1 (February 20, 2012) lmcs:673

Subjects: Logic in Computer Science (cs.LO)

[4] arXiv:1201.0597 [pdf, other]

Title: An extension of data automata that captures XPath

Mikołaj Bojańczyk (University of Warsaw), Sławomir Lasota (University of Warsaw)

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 1 (February 16, 2012) lmcs:672

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

[5] arXiv:1201.0891 [pdf, other]

Title: Termination of Nondeterministic Quantum Programs

Yangjia Li, Nengkun Yu, Mingsheng Ying

Subjects: Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

[6] arXiv:1201.0979 [pdf, other]

Title: Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis

Sanjit A. Seshia

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

[7] arXiv:1201.1121 [pdf, other]

Title: Provably Total Functions of Arithmetic with Basic Terms

Evgeny Makarov (INRIA)

Comments: In Proceedings DICE 2011, arXiv:1201.0345

Journal-ref: EPTCS 75, 2012, pp. 28-32

Subjects: Logic in Computer Science (cs.LO)

[8] arXiv:1201.1272 [pdf, other]

Title: Relating Operator Spaces via Adjunctions

Bart Jacobs, Jorik Mandemaker

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Quantum Physics (quant-ph)

[9] arXiv:1201.1410 [pdf, other]

Title: Is it a "Good" Encoding of Mixed Choice? (Technical Report)

Kirstin Peters, Uwe Nestmann

Subjects: Logic in Computer Science (cs.LO)

[10] arXiv:1201.1705 [pdf, other]

Title: On completeness of reducibility candidates as a semantics of strong normalization

Denis Cousineau (INRIA-Microsoft Research)

Comments: 24 pages

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 1 (February 16, 2012) lmcs:845

Subjects: Logic in Computer Science (cs.LO)

[11] arXiv:1201.1716 [pdf, other]

Title: A type reduction theory for systems with replicated components

Tomasz Mazur (Oxford University), Gavin Lowe (Oxford University)

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 1 (February 16, 2012) lmcs:869

Subjects: Logic in Computer Science (cs.LO)

[12] arXiv:1201.2258 [pdf, other]

Title: Characterisations of Testing Preorders for a Finite Probabilistic pi-Calculus

Yuxing Deng, Alwen Tiu

Subjects: Logic in Computer Science (cs.LO)

[13] arXiv:1201.2829 [pdf, other]

Title: Mean-Payoff Pushdown Games

Krishnendu Chatterjee, Yaron Velner

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

[14] arXiv:1201.2956 [pdf, other]

Title: On paths-based criteria for polynomial time complexity in proof-nets

Matthieu Perrinel

Comments: Long version of a conference paper

Subjects: Logic in Computer Science (cs.LO)

[15] arXiv:1201.3251 [pdf, other]

Title: Automatic Sequences and Zip-Specifications

Clemens Grabmayer, Joerg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss

Subjects: Logic in Computer Science (cs.LO)

[16] arXiv:1201.3601 [pdf, other]

Title: A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving

Freek Wiedijk (Radboud University Nijmegen)

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 1 (March 28, 2012) lmcs:1046

Subjects: Logic in Computer Science (cs.LO)

[17] arXiv:1201.3667 [pdf, other]

Title: A Logic of Interactive Proofs (Formal Theory of Knowledge Transfer)

Simon Kramer

Comments: added Appendix D; related to arXiv:1208.1842, arXiv:1208.5913, and arXiv:1309.1328

Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA); Logic (math.LO)

[18] arXiv:1201.3731 [pdf, other]

Title: Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination

Assia Mahboubi (INRIA), Cyril Cohen (INRIA)

Comments: 40 pages, 4 figures

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 1 (February 16, 2012) lmcs:844

Subjects: Logic in Computer Science (cs.LO)

[19] arXiv:1201.4307 [pdf, other]

Title: Quantitative classical realizability

Aloïs Brunel

Comments: Revised version

Subjects: Logic in Computer Science (cs.LO)

[20] arXiv:1201.4449 [pdf, other]

Title: Faster Algorithms for Alternating Refinement Relations

Krishnendu Chatterjee, Siddhesh Chaubal, Pritish Kamath

Subjects: Logic in Computer Science (cs.LO)

[21] arXiv:1201.4462 [pdf, other]

Title: A System-Level Semantics

Dan R. Ghica, Nikos Tzevelekos

Subjects: Logic in Computer Science (cs.LO)

[22] arXiv:1201.4567 [pdf, other]

Title: Ramified Structural Recursion and Corecursion

Norman Danner, James S. Royer

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

[23] arXiv:1201.4856 [pdf, other]

Title: A PSPACE-Complete First Order Fragment of Computability Logic

Matthew S. Bauer

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

[24] arXiv:1201.4871 [pdf, other]

Title: Queue-Dispatch Asynchronous Systems

Gilles Geeraerts, Alexander Heußner, Jean-François Raskin

Comments: 38 pages, submitted for publication

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

[25] arXiv:1201.5070 [pdf, other]

Title: Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable

Martin Huschenbett

Comments: 19 pages, 2 figures

Subjects: Logic in Computer Science (cs.LO)