Mathias Kettner

According to our database, Mathias Kettner authored at least 3 papers in 1997.

Collaborative distances:

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

1997

Der Tableau-Browser SNARKS (system description).

Mathias Kettner, Norbert Eisinger

Proceedings of the Twelfth Workshop Logic Programming, 1997

SNARKS: A Browser for Tableaux Derivations.

Mathias Kettner, Norbert Eisinger

Proceedings of the 8th Workshop on Logic Programming Environments, 1997

The Tableau Browser SNARKS.

Mathias Kettner, Norbert Eisinger

Proceedings of the Automated Deduction, 1997