Simone Boscaratto

Orcid: 0009-0008-8192-6898

According to our database1, Simone Boscaratto authored at least 3 papers between 2024 and 2026.

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

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
The Ackermann encoding and its siblings.
J. Log. Comput., 2026

2025
Hyperset Individualisation Algorithms.
Proceedings of the 26th Italian Conference on Theoretical Computer Science, 2025

2024
On Generalised Ackermann Encodings - The Basis Issue.
Proceedings of the 39th Italian Conference on Computational Logic, 2024


  Loading...