Representing Formulas of Propositional Logic by Cographs, Permutations and Tables

von Sochański, Michał
Veröffentlicht in Diagrams (13. : 2022 : Rom) Diagrammatic representation and inference (2022)

Experimenting with Diagrams in Mathematics

von Sochanski, Michal
Veröffentlicht in Diagrams (11. : 2020 : Tallinn; Online) Diagrammatic representation and inference (2020)

Synthetic Tableaux: Minimal Tableau Search Heuristics

von Sochański, Michał
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)