We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic in Computer Science

Authors and titles for cs.LO in Apr 2014

[ total of 98 entries: 1-10 | 11-20 | 21-30 | 31-40 | ... | 91-98 ]
[ showing 10 entries per page: fewer | more | all ]
[1]  arXiv:1404.0079 [pdf, other]
Title: Non-deterministic computation and the Jayne-Rogers Theorem
Comments: In Proceedings DCM 2012, arXiv:1403.7579
Journal-ref: EPTCS 143, 2014, pp. 87-96
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[2]  arXiv:1404.0080 [pdf, other]
Title: Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis
Authors: Sam Sanders
Comments: In Proceedings DCM 2012, arXiv:1403.7579
Journal-ref: EPTCS 143, 2014, pp. 97-109
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[3]  arXiv:1404.0081 [pdf, ps, other]
Title: The probability of non-confluent systems
Comments: In Proceedings DCM 2013, arXiv:1403.7685
Journal-ref: EPTCS 144, 2014, pp. 1-15
Subjects: Logic in Computer Science (cs.LO)
[4]  arXiv:1404.0082 [pdf, other]
Title: Proof-graphs for Minimal Implicational Logic
Authors: Marcela Quispe-Cruz (PUC-Rio), Edward Hermann Haeusler (PUC-Rio), Lew Gordeev (Tubingen University, Ghent University, PUC-Rio)
Comments: In Proceedings DCM 2013, arXiv:1403.7685
Journal-ref: EPTCS 144, 2014, pp. 16-29
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:1404.0087 [pdf, ps, other]
Title: MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable
Authors: Karin Quaas (University of Leipzig)
Comments: In Proceedings SynCoP 2014, arXiv:1403.7841
Journal-ref: EPTCS 145, 2014, pp. 5-17
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[6]  arXiv:1404.0144 [pdf, ps, other]
Title: Modal Independence Logic
Subjects: Logic in Computer Science (cs.LO)
[7]  arXiv:1404.0297 [pdf, ps, other]
Title: Hyperprojective Hierarchy of QCB_0-spaces
Comments: Conference version to appear in LNCS
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[8]  arXiv:1404.0570 [pdf, ps, other]
Title: On Affine Logic and Łukasiewicz Logic
Comments: 28 pages
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[9]  arXiv:1404.0606 [pdf, ps, other]
Title: Monadic Datalog Containment on Trees
Comments: This article is the full version of an article published in the proccedings of the 8th Alberto Mendelzon Workshop (AMW 2014)
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Databases (cs.DB)
[10]  arXiv:1404.0665 [pdf, ps, other]
Title: Security Analyses of Quantum Communication Protocols
Authors: Yong Wang
Comments: 152 pages, 23 figures, 62 tables. arXiv admin note: substantial text overlap with arXiv:1811.01070, arXiv:1501.05260
Subjects: Logic in Computer Science (cs.LO)
[ total of 98 entries: 1-10 | 11-20 | 21-30 | 31-40 | ... | 91-98 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2211, contact, help  (Access key information)