Author:
Schmidt Gunther,Winter Michael
Publisher
Springer International Publishing
Reference7 articles.
1. Rudolf Berghammer, Armando Martín Haeberer, Gunther Schmidt, and Paulo A. S. Veloso. Comparing two different approaches to products in abstract relation algebra. In Maurice Nivat, Charles Rattray, Teodore Rus, and Giuseppe Scollo, editors, Algebraic Methodology and Software Technology, Workshops in Computing, pages 167–176. Springer-Verlag, 1994.
2. Jules Desharnais. Monomorphic characterization of n-ary direct products. Information Sciences, 119:275–288, 1999.
3. Wolfram Kahl and Gunther Schmidt. Exploring (Finite) Relation Algebras With Tools Written in Haskell. Technical Report 2000/02, Fakultät für Informatik, Universität der Bundeswehr München, October 2000.
http://titurel.org/Papers/RelAlgTools.pdf
, 158 pages.
4. Gunther Schmidt. Partiality I: Embedding Relation Algebras. Journal of Logic and Algebraic Programming, 66(2):212–238, 2006. Special issue edited by Bernhard Möller;
https://doi.org/10.1016/j.jlap.2005.04.002
.
5. Gunther Schmidt. Partiality II: Constructed Relation Algebras. Journal of Logic and Algebraic Programming, 81(6):660–679, 2012. Special Issue edited by Harrie de Swart,
http://dx.doi.org/10.1016/j.jlap.2012.05.005
.