Journal Article
Willem J. Blok 1947–2003
Algebra Universalis, 2005, Volume 53, Number 1, Pages 3-6
Journal Article
Radical of a finitely generated Jordan PI-algebra
A. V. Il'tyakov
Siberian Mathematical Journal, 1985, Volume 26, Number 3, Pages 342-346
Journal Article
Elementare Lösung des Waringschen Problems für algebraische Zahlkörper mit der verallgemeinerten Linnikschen Methode
G. J. Rieger
Mathematische Annalen, 1962, Volume 148, Number 2, Pages 83-88
Book Chapter
An intuitionistic infinitesimal calculus
Richard Vesley
Lecture Notes in Mathematics, 1981, Volume 873, Constructive Mathematics, Pages 208-212
Journal Article
Work and life of Albert van der Werff (1903–1991)
H. De Wolf, M. A. M. Van Hoorn, P. Leentvaar and E. Zevenhuizen
Aquatic Ecology, 1994, Volume 28, Number 1, Pages 1-10
Book Chapter
Moving pictures of thought I
2006, Signs of logic, Part I, Pages 103-141
Book Chapter
Tableaux for Lattices
Georg Struth
Lecture Notes in Computer Science, 2006, Volume 4019, Algebraic Methodology and Software Technology, Pages 323-337
Book Chapter
An Application of Relation Algebra to Lexical Databases
Uta Priss and L. John Old
Lecture Notes in Computer Science, 2006, Volume 4068, Conceptual Structures: Inspiration and Application, Pages 388-400
Book Chapter
Algebra categorically
Axel Poigné
Lecture Notes in Computer Science, 1986, Volume 240, Category Theory and Computer Programming, Pages 76-102
Book Chapter
Logic of refinement types
Susumu Hayashi
Lecture Notes in Computer Science, 1994, Volume 806, Types for Proofs and Programs, Pages 108-126