کتاب های Carolyn Talcott (auth.)
All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott (auth.), 2007
ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings
José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.), 2002
ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings
José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.), 2002
Foundations of Logic and Functional Programming: Workshop Trento, Italy, December 15–19, 1986 Proceedings
Carolyn Talcott (auth.), 1988
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman
Wilfried Sieg, Richard Sommer, Carolyn Talcott, 2002
