5

5

• in: Baaz M.
  "An Effective Decision Algorithm for Propositional Temporal Logic" (1989)
• in: Preining N.
  "Sketch-as-Proof" (1997)

5th

in: Baaz M. and Fermüller C. G.
"Combining Many-valued and Intuitionistic Tableaux" (1996) 

Submit a bug

This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)