Algebra, Meaning, and Computation
Subtitle: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)
Contributors: Kokichi Futatsugi (Editor); Jean-Pierre Jouannaud (Editor); José Meseguer (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 28, 2006
Language: eng
Format: Paperback
Number of pages: 643
ISBN-13: 9783540354628
Subjects: Algebra; Computers; Computers - General Information; Computer Books: General; Logic; Computers / Logic Design; Coq; ML; OBJ; Petri nets; abstract algebra; complexity theory; constraint programming; equational logic; formal languages; formal methods; graph algorithms; logical inferences; Computer Science; Logic Design