-
57Die Entscheidbarkeit der Elementaren Theorie der n‐Separierten Symmetrischen Graphen Endlicher ValenzMathematical Logic Quarterly 18 (16‐18): 249-254. 1972.
-
53The ontology of mereological systems: A logical approachIn Roberto Poli & Johanna Seibt (eds.), Theory and Applications of Ontology: Philosophical Perspectives, Springer Verlag. pp. 57--82. 2010.
-
38Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-QuantorZeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (19-24): 345-358. 1979.
-
57Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie IIZeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (25-30): 457-480. 1972.
-
75Modelltheoretische Eigenschaften Endlichvalenter GraphenMathematical Logic Quarterly 26 (1-6): 51-58. 1980.
-
38Die Entscheidbarkeit der Elementaren Theorie dern-Separierten Symmetrischen Graphen Endlicher ValenzZeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (16-18): 249-254. 1972.
-
Universität LeipzigRegular Faculty
Leipzig, Saxony, Germany