Dietlinde Lau: Schriftenverzeichnis

Transkript

1 Dietlinde Lau: Schriftenverzeichnis Lehrbücher und Monographien 1. Algebra und Diskrete Mathematik 1. Grundbegriffe der Mathematik, algebraische Strukturen 1, lineare Algebra und analytische Geometrie, numerische Algebra. Springer-Lehrbuch, 478 S., Springer-Verlag 2004; 2. korr. und erw. Auflage Algebra und Diskrete Mathematik 2. Lineare Optimierung, Graphen und Algorithmen, algebraische Strukturen und allgemeine Algebra mit Anwendungen. Springer-Lehrbuch, 494 S., Springer-Verlag Function Algebras on Finite Sets. Basis Course on many-valued Logic and Clone Theory. Series: Springer Monographs in Mathematics. 668 p., Springer Übungsbuch zur Linearen Algebra und analytischen Geometrie. Aufgaben mit Lösungen. 234 S., Springer-Verlag 2007 Promotion- und Habilitationsschriften 1. Eigenschaften gewisser abgeschlossener Klassen in Postschen Algebren. Dissertation A, Universität Rostock, Funktionenalgebren über endlichen Mengen. Dissertation B (Habilitation), Universität Rostock, 1984 Zeitschriftenartikel (zur mehrwertigen Logik bzw. zur Theorie der Funktionenalgebren und Klone) 1. Prävollständige Klassen von P (k,l). Elektron. Informationsverarb. Kybernet. EIK 11 (1975), 10-12, Prävollständige Klassen von P (k,l). Elektron. Informationsverarb. Kybernet. EIK 11 (1975), 10-12, Über die Ordnung einiger prävollständiger Klassen von P k, Eigenschaften einer verallgemeinerten Booleschen Algebra P Σ l k. Mitteilungen der MGdDDR, Heft 23 (1977), S Kongruenzen auf gewissen Teilklassen von P k,l. Rostock. Math. Kolloq. 3 (1977), Bestimmung der Ordnung maximaler Klassen von Funktionen der k-wertigen Logik. Z. Math. Logik u. Grundl. Math. 24 (1978), Über die Anzahl von abgeschlossenen Mengen linearer Funktionen der n-wertigen Logik. Elektron. Informationsverarb. Kybernet. EIK 14 (1978), 11,

2 7. Congruences on closed sets of k-valued logic. In: Colloquia Mathematica Soc. J. Bolyai, Vol.28 Finite algebras and multiple-valued logic, Szeged 1979, Automorphismen auf den maximalen Klassen der k-wertigen Logik. Rostock. Math. Kolloq. 12 (1979), (mit G. Burosch K.-D. Drews und W. Harnau) Conditional monotonous functions over a finite set, Part I. Kösl. MTA Szamitastech. Autom. Kutato Int. Budapest 23 (1979), (mit G. Burosch, K.-D. Drews und W. Harnau) Bedingt monotone Funktionen über einer endlichen Menge. Teil II. Rostock. Math. Kolloq. 11 (1979), (mit G. Burosch, K.-D. Drews und W. Harnau) Bedingt monotone Funktionen über einer endlichen Menge. Teil III (Cliquenzahl von gewissen Relationengraphen). Rostock. Math. Kolloq. 11 (1979), Kongruenzen auf Postschen Algebren von Funktionen über einer Familie endlicher Mengen. Rostock. Math. Kolloq. 13 (1980), Basen und Ordnungen der maximalen Klassen zweier mehrsortiger Funktionenalgebren. Rostock. Math. Kolloq. 15 (1980), Submaximale Klassen von P 3. J. Inf. Process. Cybern. EIK 18 (1982), 4/5, (mit V. V. Gorlov) Über eine Familie von M-Klassen der k-wertigen Logik und Kongruenzen auf den submaximalen Klassen von P 3 (In Russisch). J. Inf. Process. Cybern.EIK 18 (1982), 12, Die maximalen Klassen von P ol k (0). Rostock. Math. Kolloq. 19 (1982), (mit G. Burosch und E. Schmidt) Chromatische Tupel und Klassen monotoner Funktionen. (In Russisch) Közl. MTA Szamitastech. Autom. Kutato Int. Budapest 25 (1982), (mit V. V. Gorlov) Über Automorphismen auf Funktionenalgebren. Rostock. Math. Kolloq. 23 (1983), (mit V. V. Gorlov) Congruences on closed sets of self-dual functions in many-valued logics and on closed sets of linear functions in prime-valued logics. Közl. MTA Szamitastech. Automat. Kutato Int. Budapest 29 (1983), Unterhalbgruppen von (P 1 3, ). Rostock. Math. Kolloq. 26 (1984)

3 21. Die maximalen Klassen von P ol k {(x, x + 1 mod k) x E k }. Rostock. Math. Kolloq. 25 (1984), (mit G. Burosch, J. Dassow und W. Harnau) On subalgebras of an algebra of predicates. J. Inf. Process. Cybern. EIK 21 (1985) 1/2, Abgeschlossene Mengen quasilinearer Funktionen in P 3. Rostock. Math. Kolloq. 28 (1985), (mit K. Denecke) Kongruenzen auf Klons und vollinvariante Kongruenzen relativ freier Algebren II. Rostock. Math. Kolloq. 29 (1986), Ein Kriterium für den Nachweis der Abzählbarkeit gewisser Teilverbände des Verbandes der abgeschlossenen Mengen von Funktionen der k-wertigen Logik. Rostock. Math. Kolloq. 30 (1986), (mit M. Miyakawa, I. Stojmenovic und I.G. Rosenberg) Classifications and basis enumerations in many-valued logics - a survey -. Proc. 17th. Intern. Symposium on Multiple-valued Logic. Boston, May 1987, Über abgeschlossene Mengen linearer Funktionen in mehrwertigen Logiken. J. Inf. Process. Cybern. EIK 24 (1988), 7/8, Über abgeschlossene Teilmengen von P k,2. J. Inf. Process. Cybern. EIK 24 (1988) 10, Über abgeschlossene Teilmengen von P 3,2. J. Inf. Process. Cybern. EIK 24 (1988) 11/12, Maximale Klassen von P k (l). Rostock. Math. Kolloq. 34 (1988), (mit M. Miyakawa, I.G. Rosenberg und I. Stojmenovic) Classifications and Basis enumeration of the algebras for partial functions: P 2l and P 2. Proc. 19th. Intern. Symposium on Multiple-valued Logic, Guangzhou, China 1989, Über partielle Funktionenalgebren. Rostock. Math. Kolloq. 33 (1988), Congruences on closed subsets of P 2,L and of P 2. Rostock. Math. Kolloq. 48, (1995) 34. Funktionenalgebren über endlichen Mengen (Autorreferat der Dissertation B). Rostock. Math. Kolloq. 37 (1989),

4 35. (mit K. Denecke) Congruences on maximal partial clones and strong regular varieties generated by preprimal partial algebras I. Wiss. Z. der PH Potsdam,34 (1990), Heft 1, (mit B. Schröder) On the number of closed subsets of linear functions in the 6-valued logic. Beiträge zur Algebra und Geometrie (1990) 37. Kongruenzen auf abgeschlossenen Mengen linearer Funktionen in mehrwertigen Logiken.Rostock. Math. Kolloq (1990) 38. Ein Vollständigkeitskriterium für durch h-adisch elementare Relationen beschriebene maximale Klassen von P k. Rostock. Math. Kolloq (1991) 39. (mit K. Denecke) Congruences on maximal partial clones and strong regular varieties generated by preprimal partial algebras II. Demonstratio Mathematica (Warschau), Vol. XXIV, 1-2 (1991), On closed subsets of Boolean functions (A new proof for Post s theorem). J. Inform. Process. Cybernet. EIK 27 3 (1991), (mit M. Miyakawa, I. Stojmenovic und T. Mishima) On the structure of maximal closed sets of P k,2. Proc. 20th International Symposium on Multiple-Valued Logic, Charlotte, North Carolina 1990, (mit K. Denecke, R. Pöschel und D. Schweigert) Hyperidentities, hyperequational classes and clone congruences. In: Contributions to General Algebra 7, Wien 1991, A completeness criterion for P k (l). J. Inform. Process. Cybernet. EIK 28 (1992) 3, Ein neuer Beweis für Rosenberg s Vollständigkeitskriterium. J. Inform. Process. Cybernet. EIK 28 (1992), 4, Die maximalen Klassen von a Q P ol k{a} für Q E k (Ein Kriterium für endliche semi-primale Algebren mit nur trivialen Unteralgebren). Rostock. Math. Kolloq. 48 (1995), (mit K. Denecke, R. Pöschel und D. Schweigert) Solidifyable clones. In: General Algebra and Applications (ed. by K. Denecke and H.-J. Vogel), Heldermann Verlag, Berlin 1993, Die maximalen Klassen von P 3. Rostock. Math. Kolloq. 50, (1997) 48. (mit K. Denecke, R. Pöschel, D. Schweigert) Free clones and solid varieties. Heldermann-Verlag, Berlin 1995,

5 49. Die maximalen Klassen von P ol 3 {ϱ ϱ Q} für Q P({0, 1, 2}), Teil I. Rostock. Math. Kolloq. 51 (1997), Die maximalen Klassen von P ol 3 {ϱ ϱ Q} für Q P({0, 1, 2}), Teil II. Rostock. Math. Kolloq. 52 (1999), Die maximalen Klassen von T Q := P ol 3 {ϱ ϱ Q} für Q P({0, 1, 2}), Teil III. Rostock. Math. Kolloq. 53 (1999), (mit L. Haddad) Pairwise intersections of S lupecki type maximal partial clones. Beiträge zur Algebra und Geometrie, Contributions to Algebra and Geometry, Vol. 41 (2000), No. 2, (mit L. Haddad) Families of finitely generated maximal partial clones. Multiple-Valued Logic, an International Journal, Vol. 5 (2000), (mit L. Haddad) Partial clones and their generating sets. Proceedings 29th IEEE Internat. Sympos. Multiple-valued Logic, Freiburg 1999, (mit L. Haddad) Families of finitely generated maximal partial clones. Multiple-Valued Logic, an International Journal, Vol. 5 (2000), (mit L. Haddad) On partial clones containing maximal clones. Proceedings 34th IEEE Internat. Sympos. Multiple-valued Logic, Toronto 2004, (mit L. Haddad) Uncountable families of partial clones containing maximal clones. Beiträge zur Algebra und Geometrie. Contributions to Algebra and Geometry. Vol. 48 (2007), No. 1, (mit L. Haddad) Characterization of Partial Sheffer Functions in 3-valued Logic. Erscheint in: Proceedings of the 37th International Symposium on Multiple-Valued Logic, Oslo, May 14-16, (mit M. Miyakawa) Classifications and Enumeration of Bases in P 3 (2). Erscheint in: Proceedings of the 37th International Symposium on Multiple-Valued Logic, Oslo, May 14-16,

6 60. (mit L. Haddad) Some criteria for partial Sheffer functions in k-valued logic. 34 p. Erscheint in: Mult.-Valued Log. Eingereichte Arbeiten bzw. kurz vor der Fertigstellung stehende Arbeiten 1. (mit L. Haddad und I. G. Rosenberg) Intervals of partial clones containing maximal clones. J. Autom. Lang. Comb. (submitted) 2. (mit M. Miyakawa) Classification and Enumeration of Bases in P k (2). 29 p. Publikationen zur Geschichte der Mathematik 1. Joachim Jungius und die Mathematik. In: Joachim Jungius ( ) in seiner Zeit - für unsere Zeit. Wiss. Beiträge zur Joachim-Jungius-Ehrung, Rostock (mit S. Röhl und J. Schumacher) Joachim Jungius - ein Leibniz vor Leibniz. alpha 23, 3 (1989),