We gratefully acknowledge support from
the Simons Foundation
and member institutions

Logic in Computer Science

Authors and titles for cs.LO in Dec 2015

[ total of 64 entries: 1-10 | 11-20 | 21-30 | 31-40 | ... | 61-64 ]
[ showing 10 entries per page: fewer | more | all ]
[1]  arXiv:1512.00550 [pdf, ps, other]
Title: Value-passing CCS for Trees: A Theory for Concurrent Systems
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:1512.01041 [pdf, other]
Title: Querying with Łukasiewicz logic
Journal-ref: 2015 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), pp.1-8
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Databases (cs.DB); Logic (math.LO)
[3]  arXiv:1512.01416 [pdf, other]
Title: New Lace and Arsenic: adventures in weak memory with a program logic
Authors: Richard Bornat (1), Jade Alglave (2 and 3), Matthew Parkinson (3) ((1) Middlesex University, London, (2) University College, London, (3) Microsoft Research)
Comments: This paper reports the joint work of its authors. But the words in the paper were written by Richard Bornat. Any opprobrium, bug reports, complaints, and observations about sins of com- mission or omission should be directed at him. R.Bornat@mdx.ac.uk
Subjects: Logic in Computer Science (cs.LO)
[4]  arXiv:1512.01837 [pdf, ps, other]
Title: Type Theory and its Meaning Explanations
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[5]  arXiv:1512.01952 [pdf, ps, other]
Title: Hierarchy of persistence with respect to the length of action's disability
Subjects: Logic in Computer Science (cs.LO)
[6]  arXiv:1512.02215 [html]
Title: Proceedings of the Third International Workshop on Verification and Program Transformation
Authors: Alexei Lisitsa (The University of Liverpool), Andrei P. Nemytykh (Program Systems Institute of Russian Academy of Sciences), Alberto Pettorossi (University of Roma Tor Vergata)
Journal-ref: EPTCS 199, 2015
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
[7]  arXiv:1512.02791 [pdf, ps, other]
Title: Formal Proofs of Transcendence for e and $π$ as an Application of Multivariate and Symmetric Polynomials
Authors: Sophie Bernard (MARELLE), Yves Bertot (MARELLE), Laurence Rideau (MARELLE), Pierre-Yves Strub
Comments: in Jeremy Avigad and Adam Chlipala. Certified Programs and Proofs, Jan 2016, St Petersburg, Florida, United States. ACM Press, pp.12, 2016
Subjects: Logic in Computer Science (cs.LO)
[8]  arXiv:1512.02995 [pdf, ps, other]
Title: A token-passing net implementation of optimal reduction with embedded read-back
Comments: 7 pages
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[9]  arXiv:1512.03024 [pdf, ps, other]
Title: Comparing representations for function spaces in computable analysis
Subjects: Logic in Computer Science (cs.LO)
[10]  arXiv:1512.03860 [pdf, ps, other]
Title: Verifying Temporal Properties of Reactive Systems by Transformation
Authors: Geoff Hamilton (School of Computing, Dublin City University)
Comments: In Proceedings VPT 2015, arXiv:1512.02215. This work was supported, in part, by Science Foundation Ireland grant 10/CE/I1855 to Lero - the Irish Software Engineering Research Centre (www.lero.ie), and by the School of Computing, Dublin City University
Journal-ref: EPTCS 199, 2015, pp. 33-49
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[ total of 64 entries: 1-10 | 11-20 | 21-30 | 31-40 | ... | 61-64 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)