Submission of new papers for AutoTab 09 (Tableaux'2009 Workshop on tableaux versus automata as logical decision methods) is closed.

EasyChair uses cookies for user authentication. To use EasyChair, you should allow your browser to save cookies from easychair.org.