Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday

Algebra Algèbre Computer Science Computing Methodologies Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematics of Computing Theory of Computation Goguen, Joseph sähkökirjat
Springer
2006
EISBN 9783540354628
