検索


適用済条件:
検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。


検索結果表示: 11-20 / 22.
検索結果:
書誌情報ファイル
Residuated mapping and CPS-translation : Extended abstract(Algebras, Languages, Computations and their Applications)
  Fujita, Ken-etsu (2007-06)
  数理解析研究所講究録, 1562: 25-33
file type icon 
MODULES OVER NON-COMMUTATIVE VALUATION RINGS(Algebras, Languages, Computations and their Applications)
  Ueda, Akira (2007-06)
  数理解析研究所講究録, 1562: 10-13
file type icon 
Bayesian Communication under Rough Sets Information(Algebras, Languages, Computations and their Applications)
  Matsuhisa, Takashi (2007-06)
  数理解析研究所講究録, 1562: 117-126
file type icon 
組合せ構造の列挙とサンプリング(代数、形式言語、計算システム理論とその応用)
  松井, 泰子 (2007-06)
  数理解析研究所講究録, 1562: 92-98
file type icon 
Labelings for the Complete Bipartite Graph and its Applications(Algebras, Languages, Computations and their Applications)
  Adachi, Tomoko (2007-06)
  数理解析研究所講究録, 1562: 99-103
file type icon 
Some properties of an ideal based zero-divisor graph(Algebras, Languages, Computations and their Applications)
  金光, 三男 (2007-06)
  数理解析研究所講究録, 1562: 114-116
file type icon 
The Gauss-Bonnet theorem for PL manifolds : Banchoff's theorem and Homma's theorem(Algebras, Languages, Computations and their Applications)
  SATO, Kenzi (2007-06)
  数理解析研究所講究録, 1562: 87-91
file type icon 
FINITELY GENERATED SEMIGROUPS WITH REGULAR CONGRUENCE CLASSES(Algebras, Languages, Computations and their Applications)
  SHOJI, KUNITAKA (2007-06)
  数理解析研究所講究録, 1562: 127-131
file type icon 
group code の一般化(代数、形式言語、計算システム理論とその応用)
  田中, 源次郎 (2007-06)
  数理解析研究所講究録, 1562: 132-142
file type icon 
On primitive numerical semigroups of genus 10(Algebras, Languages, Computations and their Applications)
  Komeda, Jiryo (2007-06)
  数理解析研究所講究録, 1562: 146-154
file type icon