Author:
Baader, Franz; Bauer, Andreas; Tiu, Alwen
Date of Publication:
2009-11-05
Conference Name:
3rd International Conference on Language and Automata Theory and Applications (LATA), Spain
Author:
Baader, Franz; Bauer, Andreas; Baumgartner, Peter; Cregan, Anne; Gabaldon, Alfredo; Ji, Krystian; Lee, Kevin; Rajaratnam, David; Schwitter, Rolf
Date of Publication:
2009-07-03
Conference Name:
TABLEAUX 2009 - The 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Oslo, Norway
Author:
Baader, Franz; Bauer, Andreas; Tiu, Alwen
Date of Publication:
2008-07-01
Conference Name:
22nd International Workshop on Unification (UNIF), Linz, Austria