Buchkapitel

Dau, Frithjof (2001)
Concept graphs and predicate logic.
In: Conceptual structures : broadening the base
Buchkapitel, Bibliographie

Dau, Frithjof (2000)
Negations in simple concept graphs.
In: Conceptual structures: logical, linguistic, and computational issues
Buchkapitel, Bibliographie

Dau, Frithjof ; Wille, R. (2000)
On the modal understanding of triadic contexts.
In: Classification and information processing at the turn of the millenium
Buchkapitel, Bibliographie

Buch

Dau, Frithjof ; Hereth Correia, Joachim (2003)
Nested Concept Graphs: Applications for Databases and Mathematical Foundations.
Buch, Bibliographie

Konferenzveröffentlichung

Dau, Frithjof (2002)
An Embedding of existential graphs into concept graphs with negations.
Konferenzveröffentlichung, Bibliographie

Dau, Frithjof (1999)
Implications of properties concerning complementation in finite lattices.
Konferenzveröffentlichung, Bibliographie

Dissertation

Dau, Frithjof (2003)
The logic system of concept graphs with negation and its relationship to predicate logic.
Technische Universität Darmstadt
Dissertation, Bibliographie