Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Analytic Tableaux and Proof Search

Study of analytic tableau methods for systematic proof search with focus on pruning strategies and backtracking mechanisms.