Simone Boscaratto

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

The Ackermann encoding and its siblings.

Simone Boscaratto, Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti

J. Log. Comput., 2026

2025

Hyperset Individualisation Algorithms.

Simone Boscaratto, Francesco Nascimben, Alberto Policriti

Proceedings of the 26th Italian Conference on Theoretical Computer Science, 2025

2024

On Generalised Ackermann Encodings - The Basis Issue.

Simone Boscaratto, Eugenio G. Omodeo, Alberto Policriti

Proceedings of the 39th Italian Conference on Computational Logic, 2024