Jump to main content

yr 〜
yr

Search results 18

Relational and algebraic methods in computer science : 14th international conference, RAMiCS 2014 : Marienstatt, Germany, April 28-May 1, 2014 : proceedings : Apr 2014, Marienstatt, Germany. (Lecture Notes in Computer Science ; 8428)

Relational and algebraic methods in computer science : 14th international conference, RAMiCS 2014 : Marienstatt, Germany, April 28-May 1, 2014 : proceedings : Apr 2014, Marienstatt, Germany. (Lecture Notes in Computer Science ; 8428)
Paper図書
Springer[2014]<M17-15-1583>
National Diet Library
  • Subject HeadingAlgebraic logic--Congresses. Relation algebras--Congresses. C......--Mathematics. Relation algebras. Algebraic methods Relational...

Relations : concrete, abstract, and applied : an introduction

Relations : concrete, abstract, and applied : an introduction
Paper図書
Herbert TothWorld Scientificc2020
Other Libraries in Japan
  • Subject HeadingRelation algebras Graph theory Binary
  • Subject Heading (ID)Relation algebras Graph theory Binary

Relational and Kleene-algebraic methods in computer science : 7th international seminar on relational methods in computer science and 2nd international workshop on applications of Kleene algebra : Bad Malente, Germany, May 12-17, 2003 : revised selected papers. : RelMiCS 7 : May 2003, Bad Malente, Germany. (Lecture Notes in Computer Science ; 3051)

Relational and Kleene-algebraic methods in computer science : 7th international seminar on relational methods in computer science and 2nd international workshop on applications of Kleene algebra : Bad Malente, Germany, May 12-17, 2003 : revised selected papers. : RelMiCS 7 : May 2003, Bad Malente, Germany. (Lecture Notes in Computer Science ; 3051)
Paper図書
Springerc2004.<M17-04-3132>
National Diet Library
  • Subject HeadingRelation algebras -- Congresses.

Relations and Kleene algebra in computer science : 11th international conference on relational methods in computer science, RelMiCS 2009 and 6th international conference on applications of Kleene algebra, AKA 2009 : Doha, Qatar, November 1-5, 2009 : proceedings. : RelMiCS 11 : AKA 6 : RelMiCS/AKA09 : Nov 2009, Doha, Qatar. (Lecture Notes in Computer Science ; 5827)

Relations and Kleene algebra in computer science : 11th international conference on relational methods in computer science, RelMiCS 2009 and 6th international conference on applications of Kleene algebra, AKA 2009 : Doha, Qatar, November 1-5, 2009 : proceedings. : RelMiCS 11 : AKA 6 : RelMiCS/AKA09 : Nov 2009, Doha, Qatar. (Lecture Notes in Computer Science ; 5827)
Paper図書
Springerc2009.<M17-10-1915>
National Diet Library
  • Subject HeadingRelation algebras -- Congresses. Algebraic logi...

Relations and Kleene algebra in computer science : 10th international conference on relational methods in computer science and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008 : Frauenworth, Germany, April 7-11, 2008 : proceedings. : 10th international seminar on relational methods in computer science (RelMiCS 10) : 5th international workshop on applications of Kleene algebra (AKA 5) : Apr 2008, ------. (Lecture Notes in Computer Science ; 4988)

Relations and Kleene algebra in computer science : 10th international conference on relational methods in computer science and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008 : Frauenworth, Germany, April 7-11, 2008 : proceedings. : 10th international seminar on relational methods in computer science (RelMiCS 10) : 5th international workshop on applications of Kleene algebra (AKA 5) : Apr 2008, ------. (Lecture Notes in Computer Science ; 4988)
Paper図書
Springerc2008.<M17-08-1262>
National Diet Library
  • Subject HeadingRelation algebras -- Congresses. Algebraic logi...

Relational methods in computer science : 8th international seminar on relational methods in computer science : 3rd international workshop on applications of Kleene algebra and workshop of COST Action 274: TARSKI : St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers. : RelMiCS 8 : Feb 2005, St. Catharines, Canada. (Lecture Notes in Computer Science ; 3929)

Relational methods in computer science : 8th international seminar on relational methods in computer science : 3rd international workshop on applications of Kleene algebra and workshop of COST Action 274: TARSKI : St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers. : RelMiCS 8 : Feb 2005, St. Catharines, Canada. (Lecture Notes in Computer Science ; 3929)
Paper図書
Springerc2006.<M17-06-1895>
National Diet Library
  • Subject Heading...-- Congresses. Relation algebras -- Congresses.

Relational methods in computer science : 6th international conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001 : revised papers. : Oct 2001, Oisterwijk, the Netherlands. (Lecture Notes in Computer Science ; 2561)

Relational methods in computer science : 6th international conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001 : revised papers. : Oct 2001, Oisterwijk, the Netherlands. (Lecture Notes in Computer Science ; 2561)
Paper図書
Springer-Verlagc2002.<M17-03-1092>
National Diet Library
  • Subject HeadingComputer science -- Mathematics -- Congresses. Relation algebras -- Congresses.

Local operators in integrable models. I (Mathematical surveys and monographs ; volume 256)

Local operators in integrable models. I (Mathematical surveys and monographs ; volume 256)
Paper図書
Michio Jimbo, Tetsuji Miwa, Fedor SmirnovAmerican Mathematical Society[2021]<MA117-D30>
National Diet Library

Relational and algebraic methods in computer science : 19th international conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings

Relational and algebraic methods in computer science : 19th international conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings
Paper図書
Uli Fahrenberg ... [et al.] (eds.)Springerc2021
Other Libraries in Japan
  • Subject Heading... -- Congresses Relation algebras -- Congresses
  • Subject Heading (ID)... -- Congresses Relation algebras -- Congresses

宇宙科学分野のビッグデータ処理を高速化する自然数インデックス (NNI: Natural Number Index)

宇宙科学分野のビッグデータ処理を高速化する自然数インデックス (NNI: Natural Number Index)
Digital文書・図像類
古庄, 晋二, 飯沢, 篤志, 長尾, 正, 山本, 幸生, 早部, 秀一, 生座本, 義勝, 小林, 正英, FURUSHO, Shinji, IIZAWA, Atsushi, NAGAO, Tadashi, YAMAMOTO, Yukio, HAYABE, Shuichi, OZAMOTO, Yoshikatsu, KOBAYASHI, Masahide宇宙航空研究開発機構(JAXA)2021-02-22宇宙航空研究開発機構研究開発報告: 宇宙科学情報解析論文誌: 第10号 = JAXA Research and Development Report: Journal of Space Science Informatics Japan: Volume 10JAXA-RR-20-010p.1-65
Other Libraries in Japan

Decision problems for equational theories of relation algebras

Decision problems for equational theories of relation algebras
Paper図書
Hajnal Andréka, Steven Givant, István NémetiAmerican Mathematical Society1997
Other Libraries in Japan
  • Subject HeadingRelation algebras Decidability (Mathematical lo...
  • Subject Heading (ID)Relation algebras Decidability (Mathematical lo...

The structure of relation algebras generated by relativizations

The structure of relation algebras generated by relativizations
Paper図書
Steven R. GivantAmerican Mathematical Societyc1994
Other Libraries in Japan
  • Subject HeadingRelation algebras
  • Subject Heading (ID)Relation algebras

Relational and algebraic methods in computer science : 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014, proceedings : [pbk.]

Relational and algebraic methods in computer science : 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014, proceedings : [pbk.]
Paper図書
Peter Höfner ... [et al.] (eds.)Springerc2014
Other Libraries in Japan
  • Subject HeadingAlgebraic logic -- Congresses Relation algebras -- Congresses Computer scienc...
  • Subject Heading (ID)Algebraic logic -- Congresses Relation algebras -- Congresses Computer scienc...

Relations and kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, November 1-5, 2009 : proceedings

Relations and kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, November 1-5, 2009 : proceedings
Paper図書
Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller (eds.)Springerc2009
Other Libraries in Japan
  • Subject HeadingRelation algebras -- Congresses Algebraic logic...
  • Subject Heading (ID)Relation algebras -- Congresses Algebraic logic...

An Algebraic Formalization of Fuzzy Relations

An Algebraic Formalization of Fuzzy Relations
Digital文書・図像類
河原, 康雄, 古澤, 仁Research Institute of Fundamental Information Science, Kyushu University1995-06-20RIFIS Technical Report98
Available onlineOther Libraries in Japan
  • Summary, etc....em for Boolean relation algebras satisfying Tar......Unlike Boolean relation algebras, fuzzy relation algebras are not Boolea......ioms for fuzzy relation algebras and improve th......eorem for such relation algebras is deduced without Tarski rul...
  • Subject Headingfuzzy relations relation algebras relational calculus represent...

Categorical Representation Theorems of Fuzzy Relations

Categorical Representation Theorems of Fuzzy Relations
Digital文書・図像類
河原, 康雄, 古澤, 仁, 森, 雅生Department of Informatics, Kyushu University1996-03-16DOI Technical Report124
Available onlineOther Libraries in Japan
  • Subject Headingfuzzy relations relation algebras representation theorem Dedeki...

Tropical and idempotent mathematics and applications : International Workshop Tropical and Idempotent Mathematics, August 26-31, 2012, Independent University, Moscow, Russia

Tropical and idempotent mathematics and applications : International Workshop Tropical and Idempotent Mathematics, August 26-31, 2012, Independent University, Moscow, Russia
Paper図書
G.L. Litvinov, S.N. Sergeev, editorsAmerican Mathematical Societyc2014
Other Libraries in Japan

Representation theory and mathematical physics : conference in honor of Gregg Zuckerman's 60th birthday, October 24-27, 2009, Yale University

Representation theory and mathematical physics : conference in honor of Gregg Zuckerman's 60th birthday, October 24-27, 2009, Yale University
Paper図書
Jeffrey Adams, Bong Lian, Siddhartha Sahi, editorsAmerican Mathematical Societyc2011
Other Libraries in Japan

Reached to the end of result.

RSS