|
Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi
“.... Sequents and Trees is suitable for graduate and advanced undergraduate students in logic taking courses...”
|
by Fischer, Mareike, Herbst, Lina, Kersting, Sophie, Kühn, Annemarie Luise
Published 2023
Table of Contents:
“... and history of tree balance -- 4 Concepts of tree balance and imbalance -- Part II: Tree balance and imbalance...”Published 2023
Springer International Publishing
|
by Brešar, Boštjan, Henning, Michael A., Klavžar, Sandi, Rall, Douglas F.
Published 2021
“... have complementary goals: one seeks to minimize the size of the chosen set while the other player tries...”Published 2021
Springer International Publishing