Forward Proof Search for Intuitionistic Multimodal K LogicsVoorneveld, Niels Frits WillemAutomated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2025 : Reykjavik, Iceland, September 27–29, 2025 : proceedings2025 / p. 335–353 https://doi.org/10.1007/978-3-032-06085-3_18 Conference proceedings at Scopus Article at Scopus Article at WOS

A mathematical model for abrasive erosion wear in composite Fe-based matrix with WC-Co reinforcementCasesnoves, Francisco; Surženkov, AndreiMaterials and contact characterisation VIII2017 / p. 99-111 : ill https://doi.org/10.2495/MC170101 Conference proceedings at Scopus Article at Scopus