検索


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

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


検索結果表示: 1-10 / 17.
検索結果:
書誌情報ファイル
On Computational Aspects of Finding Inverse Monoids of Partial Automorphisms (Logic, Algebraic system, Language and Related Areas in Computer Science)
  Jajcayová, Tatiana B. (2022-09)
  数理解析研究所講究録, 2229: 88-96
file type icon 
A general form on the logic puzzles of Boolos (Logic, Algebraic system, Language and Related Areas in Computer Science)
  Fujita, Ken-etsu; Kurata, Toshihiko (2022-09)
  数理解析研究所講究録, 2229: 21-29
file type icon 
A Study of Constraints on Eulerian Circuits (Logic, Algebraic system, Language and Related Areas in Computer Science)
  Jimbo, Shuji (2022-09)
  数理解析研究所講究録, 2229: 81-87
file type icon 
On Weierstrass numerical semigroups generated by four elements (Logic, Algebraic system, Language and Related Areas in Computer Science)
  米田, 二良 (2022-09)
  数理解析研究所講究録, 2229: 30-35
file type icon 
Computer Aided Constructions of Cages (Logic, Algebraic system, Language and Related Areas in Computer Science)
  Jajcay, Robert; Koorepazan Moftakhar, Fatemeh (2022-09)
  数理解析研究所講究録, 2229: 64-73
file type icon 
On Regularity and Roots of Strong Codes (Logic, Algebraic system, Language and Related Areas in Computer Science)
  Kunimochi, Yoshiyuki (2022-09)
  数理解析研究所講究録, 2229: 111-116
file type icon 
On a formula of parametric version for Heronian triangles (Logic, Algebraic system, Language and Related Areas in Computer Science)
  ARIMOTO, Koichi (2022-09)
  数理解析研究所講究録, 2229: 36-41
file type icon 
The Tarksi Theorems, Extensions to Group Rings and Logical Rigidity (Logic, Algebraic system, Language and Related Areas in Computer Science)
  Fine, Benjamin (2022-09)
  数理解析研究所講究録, 2229: 1-10
file type icon 
On Galois polynomials with a cyclic Galois group in skew polynomial rings (Logic, Algebraic system, Language and Related Areas in Computer Science)
  HONGOU, Katsunori; IKEGAMI, Kanaru; YAMANAKA, Satoshi (2022-09)
  数理解析研究所講究録, 2229: 74-80
file type icon 
ある8次元代数の三対原理 (論理・代数系・言語と計算機科学の周辺領域)
  Kamiya, Noriaki (2022-09)
  数理解析研究所講究録, 2229: 52-63
file type icon