Alberto Iglesias

According to our database¹, Alberto Iglesias authored at least 1 paper in 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

A Tool for Reasoning about Trust and Belief.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024