dblp.uni-trier.de www.uni-trier.de

65. Birthday: Joseph A. Goguen, 2006

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (Eds.): Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 4060 Springer 2006, ISBN 3-540-35462-X BibTeX



Specification and Composition

Behavior and Formal Languages

Models, Deduction, and Computation

Copyright © Sat May 16 22:59:40 2009 by Michael Ley (ley@uni-trier.de)