Languages
Meseguer, Jose.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Logic, rewriting, and concurrency[electronic resource] :essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
Marti-Oliet, Narciso.; Meseguer, Jose.; Olveczky, Peter Csaba.; SpringerLink (Online service); Talcott, Carolyn.
(Language materials, printed)
Specification, algebra, and software[electronic resource] :essays dedicated to Kokichi Futatsugi /
by:
Iida, Shusaku.; Meseguer, Jose.; Ogata, Kazuhiro.; SpringerLink (Online service)
(Language materials, printed)
Subjects