Michal Sochanski. Representing Formulas of Propositional Logic by Cographs, Permutations and Tables. In Valeria Giardino, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, Petrucio Viana, editors, Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings. Volume 13462 of Lecture Notes in Computer Science, pages 312-320, Springer, 2022. [doi]
No reviews for this publication, yet.