TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 7.

Dau, Frithjof ; Hereth Correia, Joachim (2003):
Nested Concept Graphs: Applications for Databases and Mathematical Foundations.
2298, Darmstadt, Ohne Verlag / Selbstverlag, [Book]

Dau, Frithjof (2003):
The logic system of concept graphs with negation and its relationship to predicate logic.
2892:L, Berlin [u.a.], Springer, TU Darmstadt, ISBN 3-540-20607-8,
[Ph.D. Thesis]

Dau, Frithjof (2002):
An Embedding of existential graphs into concept graphs with negations.
In: Uta Priss [u.a.] ( Eds.)Conceptual structures : integration and interfaces. International conference on conceptual structures <10, 2002, Borovets, Bulgaria>: proceedings. - Berlin [u.a.]: Springer-Verl., 2002, S. 326-340 = Lecture notes in computer scienc, Berlin [u.a.], Springer-Verl., [Conference or Workshop Item]

Dau, Frithjof (2001):
Concept graphs and predicate logic.
In: Conceptual structures : broadening the base. Hrsg.: H.S. Delugach, G. Stumme. - Berlin, Heidelberg (u.a.): Springer, 2001 = Lecture notes in artificial intelligence; 2120. S. 72 ff., Berlin, Heidelberg (u.a.), Springer, [Book Section]

Dau, Frithjof (2000):
Negations in simple concept graphs.
In: Conceptual structures: logical, linguistic, and computational issues. Hrsg.: B. Ganter, G.W. Mineau. - Berlin, Heidelberg (u.a.): Springer, 2000. S. 263-276, Berlin, Heidelberg (u.a.), Springer, [Book Section]

Dau, Frithjof ; Wille, R. (2000):
On the modal understanding of triadic contexts.
In: Classification and information processing at the turn of the millenium. Hrsg.: R. Decker, W. Gaul. - Berlin, Heidelberg (u.a.): Springer, 2000. S. 83-94, Berlin, Heidelberg (u.a.), Springer, [Book Section]

Dau, Frithjof (1999):
Implications of properties concerning complementation in finite lattices.
In: Contributions to General Algebra 12: Proceedings of the Vienna Conference, June 1999. - Klagenfurt: Heyn, 2000. S. 145-154, Klagenfurt, Heyn, [Conference or Workshop Item]

This list was generated on Tue Jan 31 01:05:21 2023 CET.