Dafina Trufas

According to our database1, Dafina Trufas authored at least 2 papers between 2023 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

2023
2024
0
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Intuitionistic Propositional Logic in Lean.
Proceedings of the Proceedings Eighth Symposium on Working Formal Methods, 2024

2023
Asynchronous Muddy Children Puzzle (work in progress).
Proceedings of the Proceedings 7th Symposium on Working Formal Methods, 2023


  Loading...