Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday / [electronic resource] :
edited by Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
- v.: digital
- Lecture Notes in Computer Science, 4060 0302-9743 ; .
9783540354642
Computer science Information theory Logic design Electronic data processing Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Computing Methodologies Theory of Computation Mathematics of Computing