Jump to main content

yr 〜
yr

Search results 44

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
  • LCCQA10

Residuated structures in algebra and logic : pbk

Residuated structures in algebra and logic : pbk
Paper図書
George Metcalfe, Francesco Paoli, Constantine TsinakisAmerican Mathematical Societyc2023
Other Libraries in Japan
  • LCCQA10

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
  • LCCQA10

Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs

Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
Paper図書
Ivo Düntsch, Edwin Mares, editorsSpringerc2022
Other Libraries in Japan
  • LCCQA10

Relations and Kleene algebra in computer science : 9th international conference on relational methods in computer science and 4th international workshop on applications of Kleene algebra, RelMiCS/AKA 2006 : Manchester, UK, August/September, 2006 : proceedings. : RelMiCS-9 : AKA 2006 : Aug 2006, Manchester, UK. (Lecture Notes in Computer Science ; 4136)

Relations and Kleene algebra in computer science : 9th international conference on relational methods in computer science and 4th international workshop on applications of Kleene algebra, RelMiCS/AKA 2006 : Manchester, UK, August/September, 2006 : proceedings. : RelMiCS-9 : AKA 2006 : Aug 2006, Manchester, UK. (Lecture Notes in Computer Science ; 4136)
Paper図書
Springerc2006.<M17-06-3042>
National Diet Library
  • LCCQA10

Relations : concrete, abstract, and applied : an introduction

Relations : concrete, abstract, and applied : an introduction
Paper図書
Herbert TothWorld Scientificc2020
Other Libraries in Japan
  • LCCQA10

Logic and its applications. : international conference on logic and its applications in algebra and geometry : workshop on combinatorial set theory, excellent classes, and schanuel conjecture : Apr 2003, Ann Arbor, MI. (Contemporary Mathematics ; 380)

Logic and its applications. : international conference on logic and its applications in algebra and geometry : workshop on combinatorial set theory, excellent classes, and schanuel conjecture : Apr 2003, Ann Arbor, MI. (Contemporary Mathematics ; 380)
Paper図書
American Mathematical Societyc2005.<M17-05-2336>
National Diet Library
  • LCCQA10

Algebraizable logics

Algebraizable logics
Paper図書
W.J. Blok and Don PigozziAdvanced Reasoning Forum2014
Other Libraries in Japan
  • LCCQA3 QA10

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
  • LCCQA10

Semigroups underlying first-order logic

Semigroups underlying first-order logic
Paper図書
William CraigAmerican Mathematical Societyc2006
Other Libraries in Japan
  • LCCQA10

Residuated lattices : an algebraic glimpse at substructural logics 1st ed

Residuated lattices : an algebraic glimpse at substructural logics 1st ed
Paper図書
Nikolaos Galatos ... [et al.]Elsevier2007
Other Libraries in Japan
  • LCCQA10

Lukasiewicz-Moisil algebras / V. Boicescu ... [et al.]. (Annals of discrete mathematics ; 49)

Lukasiewicz-Moisil algebras / V. Boicescu ... [et al.]. (Annals of discrete mathematics ; 49)
Paper図書
North-Holland1991.<MA67-A109>
National Diet Library
  • LCCQA10

Logic and its applications

Logic and its applications
Paper図書
Andreas Blass, Yi Zhang, editorsAmerican Mathematical Societyc2005
Other Libraries in Japan
  • LCCQA10

The algebra of logic

The algebra of logic
Paper図書
Louis Couturat ; authorized English translation by Lydia Gillingham Robinson ; with a preface by Philip E.B. JourdainDover Publications2005
Other Libraries in Japan
  • LCCQA10

Algebraic Logic and Universal Algebra in Computer Science : conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings / C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.). (Lecture notes in computer science)

Algebraic Logic and Universal Algebra in Computer Science : conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings / C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1990.<M15-A6614>
National Diet Library
  • LCCQA10

Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic and probability theory / Theodore Hailperin. 2nd ed., rev. and enl. (Studies in logic and the foundations of mathematics ; v. 85)

Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic and probability theory / Theodore Hailperin. 2nd ed., rev. and enl. (Studies in logic and the foundations of mathematics ; v. 85)
Paper図書
North-Holland Pub. Co.1986.<MA67-A50>
National Diet Library
  • LCCQA10

A primer of probability logic : hbk : pbk

A primer of probability logic : hbk : pbk
Paper図書
Ernest W. AdamsCenter for the Study of Language and Informationc1998
Other Libraries in Japan
  • LCCQA10

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
  • LCCQA3.A57 no. 604 QA10

Logic and algebra

Logic and algebra
Paper図書
edited by Aldo Ursini, Paolo AglianòMarcel Dekkerc1996
Other Libraries in Japan
  • LCCQA10

A general algebraic semantics for sentenial logics

A general algebraic semantics for sentenial logics
Paper図書
Josep Maria Font, Ramon JansanaSpringerc1996
Other Libraries in Japan
  • LCCQA10
RSS