検索結果 3 件
デジタル記事
インターネットで読める全国の図書館
- 件名process algebra Schröder Category Dedekind category relational calculus
- 一般注記Proceedings of The Fouth International Sym......um on Economic Informatics, pp 988--994, Buchar...
- 関連情報The Fouth International Sym......um on Economic Informatics || || p988-994 http://hyoka-inf.ofc.kyushu-u.ac.jp/~mori/ ht...
デジタル記事
インターネットで読める全国の図書館
- 要約等...rmalization of Hennessy-Milner properties in Schröder categories. Proceedings of The Fouth International Sym......um on Economic Informatics, pp 988--994, Buchar...
- 件名process algebra Schröder Category Dedekind category relational calculus
デジタル文書・図像類
インターネットで読める全国の図書館
- 関連情報DOI Technical Report || 163 http://www.i.kyushu-u.ac....
検索結果は以上です。