Proof search without backtracking for free variable tableaux

Abstract

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

Topics

  • Presentations referencing similar topics