presented at event Symposium on Algebra, Meaning and Computation in honor of Joseph Goguen on his 65th Birthday Conference
keywords Computer Science Computer Science, Theory & Methods Mathematics Mathematics, Interdisciplinary Applications Physical Sciences Science & Technology Technology