Gunther Schmidt's life as a mathematician and computer scientist

DOI10.1016/j.jlap.2014.02.015zbMath1434.01024OpenAlexW2079634072MaRDI QIDQ406464

Michael Winter, Rudolf Berghammer

Publication date: 8 September 2014

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2014.02.015

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of computer science (68-03)

Uses Software

• RelView
• TituRel
• Rath
• Ralf

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Contact, closure, topology, and the linking of row and column types of relations
• Partiality. I: Embedding relation algebras
• Relational measures and integration in preference modeling
• Theory and applications of relational structures as knowledge instruments II. International workshops of COST Action 274, TARSKI, 2002--2005. Selected revised papers
• The Munich project CIP. Volume I: The wide spectrum language CIP-L
• Graph-theoretic concepts in computer science. International Workshop WG '86, Bernried, Federal Republic of Germany, June, 17-19, 1986. Proceedings
• Programs as partial graphs. I: Flow equivalence and correctness
• Programs as partial graphs. II: Recursion
• Graph-theoretic concepts in computer science. 17th International Workshop, WG '91, Fischbachau, Germany, June 17-19, 1991. Proceedings
• A Boolean matrix iteration in timetable construction
• Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers
• Graph-theoretic concepts in computer science. 20th International Workshop. WG '94, Herrsching, Germany, June 16-18, 1994. Proceedings
• Describing semantic domains with sprouts
• Partiality. II: Constructed relation algebras
• Relational Concepts in Social Choice
• Constructions around Partialities
• Rectangles, Fringes, and Inverses
• Relational Methods in Computer Science
• Relational Measures and Integration
• Theory and Applications of Relational Structures as Knowledge Instruments

This page was built for publication: Gunther Schmidt's life as a mathematician and computer scientist