Books listed by ISBN

Carolyn Talcott

C. T. · Caroline Tilston · Carolyn L. Talcott

titlemedia type ISBN-13year of publica-
tion		other author(s)
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting LogicTaschenbuch
978-3-540-71940-32007Manuel Clavel · Francisco Durán · Steven Eker · Patrick Lincoln · Narciso Martí-Oliet · José Meseguer
Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings   "
978-3-540-43410-82008Farhad Arbab
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday   "
978-3-319-23164-82015Narciso Martí-Oliet · Peter Csaba Ölveczky
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon FefermanDigital 978-1-316-99881-62020Wilfried Sieg · Richard Sommer
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman: Lecture Notes in Logic 15Hardcover 978-1-56881-169-72002Wilfried Sieg · Richard Sommer
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman: Lecture Notes in Logic 15Paperback 978-1-56881-170-32002Wilfried Sieg · Richard Sommer

A K Peters/CRC Press · Cambridge University Press · Springer

 

Carolyn Taliaferro Blauvelt