Martina Timmann

According to our database, Martina Timmann authored at least 1 paper in 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2001

Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions.

Volker Haarslev, Martina Timmann, Ralf Möller

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001