Carolyn Talcott

No bio available. Add one in Open Library.

Books by Carolyn Talcott (50 max)

+ shelf+ list

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science)

2007

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott

+ shelf+ list

Logic, Rewriting, and Concurrency: Symposium in Honor of José Meseguer on the Occasion of His 65th Birthday, Urbana, il, USA, September 23-25, 2015, Proceedings

2015

Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott

+ shelf+ list

Composing Model-Based Analysis Tools

2021

Robert Heinrich, Francisco Durán, Carolyn Talcott, Steffen Zschaler

+ shelf+ list

Reflections on the Foundations of Mathematics : Essays in Honor of Solomon Feferman Lecture Notes in Logic 15

2002

Wilfried Sieg, Richard Sommer, Carolyn Talcott

+ shelf+ list

Proceedings of the 9th International Workshop on Adaptive and Reflective Middleware

2010

Carolyn Talcott

+ shelf+ list

Reflections on the Foundations of Mathematics Essays in Honor of Solomon Feferman

2017

Wilfried Sieg, Richard Sommer, Carolyn Talcott

+ shelf+ list

Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

2020

Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov

+ shelf+ list

Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

2025

Mohammad Reza Mousavi, Edward A. Lee, Carolyn Talcott