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

DOI10.1007/11780274zbMath1113.68005OpenAlexW2502721394MaRDI QIDQ2369830

No author found.

Publication date: 21 June 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11780274

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Theory of computing (68Qxx)

Related Items

What is a logic translation? ⋮ Abstract Beth definability in institutions

Uses Software

• Coq

This page was built for publication: Algebra, meaning and computation. Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday.