海量图书期刊资源,随时随地畅享阅读乐趣
Algebras of iteration theoriesZ. Ésik · 1983
Completeness of Park inductionZ. Ésik · 1997
Scott Induction and Equational ProofsZ. Ésik; L. Bernátsky · 1995
On cycles of directed graphsZ. Ésik · 1988
Modeling Literal Morphisms by ShuffleZ. Ésik; I. Simon · Semigroup Forum · 1998
Locally Closed SemiringsZ. Ésik; W. Kuich · 2002
Free De Morgan Bisemigroups and BisemilatticesZ. Ésik · Algebra Colloquium · 2003