OtiumSessione
Sessione
Non abbiamo ancora una biografia di Carolyn Talcott.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Logic, Rewriting, and Concurrency
2015
Composing Model-Based Analysis Tools
2022
All About Maude - A High-Performance Logical Framework
2007
Reflections on the Foundations of Mathematics
2017
Reflections on the Foundations of Mathematics : Essays in Honor of Solomon Feferman
2002
Rebeca for Actor Analysis in Action
2025
Proceedings of the 9th International Workshop on Adaptive and Reflective Middleware
2010
Logic, Language, and Security
2020