Logic in Computer Science

Authors and titles for July 2012

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

Title: Verifying an algorithm computing Discrete Vector Fields for digital imaging

Jónathan Heras, María Poza, Julio Rubio

Comments: Published in the Calculemus track of the CICM 2012 congress

Journal-ref: Calculemus 2012, Lecture Notes in Computer Science, 7362, pages 215--229, 2012

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Mathematical Software (cs.MS); Algebraic Topology (math.AT)

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

Title: PAGAI: a path sensitive static analyzer

Julien Henry (VERIMAG - IMAG), David Monniaux (VERIMAG - IMAG), Matthieu Moy (VERIMAG - IMAG)

Comments: Tools for Automatic Program AnalysiS (TAPAS 2012), Deauville : France (2012)

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

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

Title: Non-finite axiomatizability of Dynamic Topological Logic

David Fernández-Duque

Comments: arXiv admin note: text overlap with arXiv:1201.5162 by other authors

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

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

Title: Integer factoring and modular square roots

Emil Jeřábek

Comments: 24 pages; to appear in Journal of Computer and System Sciences

Journal-ref: Journal of Computer and System Sciences 82 (2016), no. 2, pp. 380--394

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