M.Sc. Senén André González Cornejo

PhD Candidate
Phone: +43 7236 3343 877
Fax: +43 7236 3343 888
senen.gonzalez@scch.at

Software Science - RSE

Publications

F. Ferrarotti, S. González Cornejo, J. Turull-Torres. On fragments of higher order logics that on finite structures collapse to second order. Logic, Language, Information, and Computation - Proc. WoLLIC 2017, Lecture Notes in Computer Science, volume 10388, pages 125-139, DOI 10.1007/978-3-662-55386-2_9, Springer, July, 2017.