Outline
DOI: 10.2478/forma-2024-0014 ISSN: 1898-9934
About Path and Cycle Graphs
Sebastian KochSummary
In this article path and cycle graphs are formalized in the Mizar system.
More from our Archive
- DOI: 10.1002/zamm.202400984 2025Analytical solution to the magneto‐elastoplastic problem for functionally graded spherical shells under inner pressureWeiwen Yan, Yongqiang Ye, Fei Dong, Jiansheng Zhang, Wenshuai Wang
- DOI: 10.1177/16094069241306082 2025Running Collaborative Competence Groups - Exploring Experiences From Five CountriesVibeke Krane, Ewelina Zubala, Thomas H. Thorning, Elena Quintana Murci, Eunice Macedo
- DOI: 10.1002/ejsc.12246 2025Nation‐wide cross‐sectional study of participation and predictors of enjoyment among Australian adult walking sport participantsJasmine M Petersen, Cath J Connolly, Lucy K Lewis
- DOI: 10.1177/09697330241312376 2025Truth-telling, and ethical considerations in terminal care: an Eastern perspectiveQing Ma, Yi Wu, Ronghua Fang
- DOI: 10.1177/02103702241302292 2025Teachers’ perceptions of the implementation of active breaks in the classroom: is being active so important? / Percepciones de los docentes sobre la implementación de los descansos activos en el aula: ¿tan importante es ser activo?Adrià Muntaner-Mas, Jaume Cantallops Ramón, Francisco Javier Ponseti Verdaguer, Elisa I. Sánchez-Romero
- DOI: 10.1177/1354067x241312244 2025A social psychological investigation of “Anti-nationalism” in contemporary India – A media analysisRachana Ghosh, Parul Bansal
- DOI: 10.1681/asn.0000000595 2025Restrictive or Liberal Blood Transfusion in Patients with Myocardial Infarction and CKDJordan B. Strom, Brandon M. Herbert, Marnie Bertolet, Maria M. Brooks, Shahbaz A. Malik, Gilles Lemesle, Mina Madan, Philippe Gabriel Steg, Paul C. Hebert, Jay H. Traverse, Harvey D. White, Caroline Alsweiler, Rajesh Gupta, Luiz Eduardo F. Ritt, Mark A. Menegus, John H. Alexander, Renato D. Lopes, Bernard R. Chaitman, Jeffrey L. Carson,
- DOI: 10.1515/labmed-2018-0307 2025Evaluation of the analytical performance of the Beckman Coulter Unicel DXI 800 Access Total 25(OH) Vitamin D immunoassayCanan Topçuoğlu, Sevilay Sezer, Fatma Meriç Yılmaz, Arzu Kösem, Mujgan Ercan, Turan Turhan
- DOI: 10.1515/labmed-2018-0301 2025Cord blood nucleated red blood cell level: is it a predictive marker for neonatal jaundice?Alper Orhon, Hatice Topal, Nilay Hakan, Esra Arun Ozer
- DOI: 10.1515/labmed-2018-0302 2025Protein carbonylation in freshly diagnosed hypothyroidism is independent of thyrotropin levelsKailash Chandra, Johar Iqbal