Prediction of cesarean section in women with an unfavorable cervix at term

Autor: Jozwiak, M., Rengerink, K.O., Doornbos, H., Drogtrop, A., Groot, C. de, Huisjes, A., Kleiverda, G., Lunshof, S., Meir, C. van, Salm, P. van der, Schuitemaker, N., Willekes, C., Zuurendonk, L., Leeuw, J.W. de, Pampus, M. van, Mol, B., Bloemenkamp, K.W.M.

Publikováno v: American Journal of Obstetrics and Gynecology, 206(1), S146-S147

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2cfe3252b54ab9278b023f9abbd7aebe
https://hdl.handle.net/1887/98220

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Induction and recursion on datatypes

Autor: Doornbos, H., Backhouse, R.C., Möller, B.

Publikováno v: Mathematics of Program Construction (Proceedings 3rd International Conference, MPC'95, Kloster Irsee, Germany, July 17-21, 1995), 242-256
STARTPAGE=242;ENDPAGE=256;TITLE=Mathematics of Program Construction (Proceedings 3rd International Conference, MPC'95, Kloster Irsee, Germany, July 17-21, 1995)
Lecture Notes in Computer Science ISBN: 9783540601173
MPC

A new induction principle is introduced. The principle is based on a property of relations, called reductivity, that generalises the property of admitting induction to one relative to a given datatype. The principle is used to characterise a broad cl

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::908e56810e191ee7575d5e91fe048a80
https://research.tue.nl/nl/publications/100cc716-4948-448a-918f-e8125c4de310

A calculational approach to mathematical induction

Autor: Doornbos, H., Backhouse, R., Woude, J. Van Der

Publikováno v: Theoretical Computer Science; 1997, Vol. 179 Issue: 1 p103-136, 34p

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.