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

Logic in Computer Science

Authors and titles for cs.LO in Apr 2014, skipping first 20

[ total of 98 entries: 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | 51-60 | ... | 91-98 ]
[ showing 10 entries per page: fewer | more | all ]
[21]  arXiv:1404.1225 [pdf, ps, other]
Title: Layer Systems for Proving Confluence
Subjects: Logic in Computer Science (cs.LO)
[22]  arXiv:1404.1227 [pdf, other]
Title: Formale Entwicklung einer Steuerung für eine Fertigungszelle mit SYSYFOS
Authors: Jochen Burghardt
Comments: in german; 66 pages; 29 figures
Journal-ref: Technical Report, GMD Arbeitspapier Vol.996, Jun 1996
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[23]  arXiv:1404.1531 [pdf, ps, other]
Title: On the Remarkable Features of Binding Forms
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[24]  arXiv:1404.1947 [pdf, ps, other]
Title: Eine entscheidbare Klasse n-stelliger Horn-Prädikate
Authors: Jochen Burghardt
Comments: in german; 11 pages
Journal-ref: Peter H. Schmitt (ed.), Proc. 3rd Ann. Meeting of the German Computer Science Society (GI) Special Interest Group on Logic in Computer Science (FG 0.1.6), Karlsruhe University Internal Report 23/95, p.38-47, Jun 1995
Subjects: Logic in Computer Science (cs.LO)
[25]  arXiv:1404.3034 [pdf, other]
Title: ACL2(ml): Machine-Learning for ACL2
Authors: Jónathan Heras (School of Computing, University of Dundee, UK), Ekaterina Komendantskaya (School of Computing, University of Dundee, UK)
Comments: In Proceedings ACL2 2014, arXiv:1406.1238
Journal-ref: EPTCS 152, 2014, pp. 61-75
Subjects: Logic in Computer Science (cs.LO)
[26]  arXiv:1404.3633 [pdf, other]
Title: The ZX-calculus is incomplete for quantum mechanics
Authors: Christian Schröder de Witt, Vladimir Zamdzhiev (University of Oxford)
Comments: In Proceedings QPL 2014, arXiv:1412.8102
Journal-ref: EPTCS 172, 2014, pp. 285-292
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Quantum Physics (quant-ph)
[27]  arXiv:1404.4827 [pdf, ps, other]
Title: $μ$-calculus on data words
Subjects: Logic in Computer Science (cs.LO)
[28]  arXiv:1404.4856 [pdf, ps, other]
Title: Quantitative games with interval objectives
Comments: Full version of CONCUR submission
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)
[29]  arXiv:1404.5084 [pdf, ps, other]
Title: Probabilistic Bisimulation: Naturally on Distributions
Subjects: Logic in Computer Science (cs.LO)
[30]  arXiv:1404.5157 [pdf, other]
Title: Trace Inclusion for One-Counter Nets Revisited
Subjects: Logic in Computer Science (cs.LO)
[ total of 98 entries: 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | 51-60 | ... | 91-98 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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