Forward Proof Search for Intuitionistic Multimodal K Logics
Voorneveld, Niels Frits Willem
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2025 : Reykjavik, Iceland, September 27–29, 2025 : proceedings
2025
/
p. 335–353
https://doi.org/10.1007/978-3-032-06085-3_18
https://www.scopus.com/sourceid/25674
https://www.scopus.com/pages/publications/105019253434?origin=resultslist
https://www.webofscience.com/wos/woscc/full-record/WOS:001678507100020
A mathematical model for abrasive erosion wear in composite Fe-based matrix with WC-Co reinforcement
Casesnoves, Francisco
;
Surženkov, Andrei
Materials and contact characterisation VIII
2017
/
p. 99-111 : ill
https://doi.org/10.2495/MC170101
https://www.scopus.com/sourceid/6000195382
https://www.scopus.com/record/display.uri?eid=2-s2.0-85039044656&origin=inward&txGid=7a16c95af540baf7576ae2a3d6ab62c9