Walter Carballosa
Orcid: 0000-0002-2984-5301
According to our database1,
Walter Carballosa
authored at least 16 papers
between 2011 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Discret. Appl. Math., October, 2023
Education-oriented Proof Assistant Based on Calculational Logic: Proof Theory Algorithms and Assessment Experience.
CLEI Electron. J., September, 2023
2022
Proof Assistant Based on Calculational Logic to Assist the Learning of Propositional Logic and Boolean Algebras.
Proceedings of the XLVIII Latin American Computer Conference, 2022
2020
2018
2017
Computing the alliance polynomial of a graph.
Ars Comb., 2017
2016
New inequalities on the hyperbolicity constant of line graphs.
Ars Comb., 2016
2015
2014
Electron. Notes Discret. Math., 2014
Electron. Notes Discret. Math., 2014
Electron. Notes Discret. Math., 2014
2013
2012
2011