Logic in Computer Science

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

[21]  arXiv:1404.1225 [pdf, ps, other]

Title: Layer Systems for Proving Confluence

Authors: Bertram Felgenhauer, Aart Middeldorp, Harald Zankl, Vincent van Oostrom

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

Authors: Fabio Mogavero, Giuseppe Perelli

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)