TCS / Research / Publications / Hyper Tableaux
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Hyper Tableaux


P. Baumgartner, U. Furbach, and Ilkka Niemelä. Hyper tableaux. Fachbericht Informatik 8–96, Universität Koblenz-Landau, 1996. Available at

Suggested BibTeX entry:

    author = {P. Baumgartner and U. Furbach and Ilkka Niemel{\"a}},
    institution = {Universit{\"a}t Koblenz-Landau},
    note = {Available at \url{}},
    number = {8--96},
    title = {Hyper Tableaux},
    type = {Fach\-be\-richt Informatik},
    year = {1996},

This work is not available online here.

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.