Repository | People

150020

References

Kokichi Futatsugi

Some tips on writing proof scores in the ots/cafeobj method

2006

with Ogata Kazuhiro

in: Algebra, meaning, and computation, Dordrecht : Springer

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

2006

with Jouannaud Jean-Pierre, Meseguer José (ed)

Dordrecht, Springer

Open Access Link