Proof search without backtracking for free variable tableaux


Acknowledgments I would like to take this opportunity to express my gratitude to a number of people without whom I could never have completed this thesis. neither begun nor finished this thesis. I am deeply impressed with the thoroughness with which he read through the submitted version of this thesis in a matter of days, providing valuable comments at a… (More)

4 Figures and Tables


  • Presentations referencing similar topics