Dafina Trufas

According to our database¹, Dafina Trufas authored at least 3 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Matching logic - a new axiomatization.

[BibT_eX]

[DOI]

CoRR, June, 2025

2024

Intuitionistic Propositional Logic in Lean.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eighth Symposium on Working Formal Methods, 2024

2023

Asynchronous Muddy Children Puzzle (work in progress).

[BibT_eX]

[DOI]

Proceedings of the Proceedings 7th Symposium on Working Formal Methods, 2023