Schmidt, Gunther, 1939-...
Gunther Schmidt
VIAF ID: 94325106 ( Personal )
Permalink: http://viaf.org/viaf/94325106
Preferred Forms
- 100 0 _ ‡a Gunther Schmidt
-
-
- 100 1 _ ‡a Schmidt, Gunther ‡d 1939-
-
- 100 1 _ ‡a Schmidt, Gunther ‡d 1939-
- 100 1 _ ‡a Schmidt, Gunther ‡d 1939-
-
-
- 100 1 _ ‡a Schmidt, Gunther, ‡d 1939-
-
-
-
-
-
-
- 100 1 _ ‡a Schmidt, Gunther, ‡d 1939-...
4xx's: Alternate Name Forms (14)
5xx's: Related Names (8)
- 510 2 _ ‡a Deutschland ‡b Bundeswehr ‡b Universität München ‡b Fakultät für Informatik ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Deutschland ‡b Fakultät für Informatik
- 510 2 _ ‡a Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology (1981)
- 551 _ _ ‡a München ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _ ‡a München, Techn. Univ
- 551 _ _ ‡a Rüdersdorf ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 510 2 _ ‡a Technische Universität München ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Technische Universität München
Works
Title | Sources |
---|---|
Arranging binary relations nicely a guide | |
A boolean matrix iteration in timetable construction | |
Dealing with non-constructive specifications involving quantifiers | |
Decomposing relations : data analysis techniques for boolean matrices | |
Describing semantic domains with sprouts | |
Einige operative ansaetze zur loesung von stundenplanproblemen | |
Exploring (finite) relation algebras using tools written in Haskell | |
Fortsetzung holomorpher Abbildungen unter Erweiterung des Bildraumes | |
Graph-theoretic concepts in computer science : 17th International Workshop WG '91, Fischbachau, Germany, June 17-19, 1991 : proceedings | |
Hinweise zur interaktiven Konstruktion von Bereichen, Objekten und Programmtexten im HOPS-System | |
Konstruktion induktiv geordneter Modelle aus algebraischen Spezifikationen | |
Manipulation of concrete relations: The RELVIEW-system | |
Mathematik als Wissenschaft in der Gesellschaft : Historische Äußerungen und aktuelle Anregungen | |
Mathematische Logik | |
Notizen zum seminar ueber baxter-algebren | |
Ordering isomorphism classes of semantic domains | |
Programme als partielle Graphen | |
Relational mathematics continued | |
Relational Topology | |
Relationen und Graphen, 1989: | |
Relationenalgebraische beitraege zur graphentheorie | |
Relations and graphs : discrete mathematics for computer scientists | |
Rückblick auf die Anfänge der Münchner Informatik Dokumente, Belege, Veröffentlichungen und Erinnerungen von früh und lange Beteiligten | |
Symmetric quotients | |
Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare | |
Theory and applications of relational structures as knowledge instruments : COST Action 274, TARSKI : revised papers | |
WG'86 | |
WG'91 |