Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Cesare Tinelli | lit.salon

Author

Cesare Tinelli

5 works

2011–2023 across 4 dated works

No biography is available yet.

Start with

Frontiers Of Combining Systems 8th International Symposium Frocos 2011 Saarbrucken Germany October 57 20112011
Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings2011
With Viorica Sofronie-Stokkermans
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings2015
With Christel Baier
Automated Deduction - CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings2023
With Brigitte Pientka

Books

4 works

Featured (4)Featured (4)All (5)All (5)

Search booksSort books

Frontiers Of Combining Systems 8th International Symposium Frocos 2011 Saarbrucken Germany October 57 20112011
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings2015
With Christel Baier
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Automated Deduction - CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings2023
With Brigitte Pientka
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings2011
With Viorica Sofronie-Stokkermans
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Cesare Tinelli.

The conversation is still open.

There is no public salon activity to show for Cesare Tinelli yet.