|
by Haynes, Teresa W., Hedetniemi, Stephen T., Henning, Michael A.
Published 2023
“... or domination algorithms and complexity. The authors set out to provide the community with an updated...”Published 2023
Springer International Publishing
|
by Chartrand, Gary, Haynes, Teresa W., Henning, Michael A., Zhang, Ping
Published 2019
“... out of research topics investigated by Stephen Hedetniemi. The purpose of this book is to provide...”Published 2019
Springer International Publishing
|
by Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang
Published 2021
“...? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In answering...”Published 2021
Springer International Publishing
|
by Gasquet, Olivier, Herzig, Andreas, Said, Bilal, Schwarzentruber, François
Published 2014
“...) and also turned out useful for other nonclassical logics (intuitionistic, conditional, several...”Published 2014
Birkhäuser