Michał Grabowski

Available identifiers

zbMath Open grabowski.michalMaRDI QIDQ689287

List of research outcomes

Publication	Date of Publication	Type
Low Distortion Embedding of the Hamming Space into a Sphere with Quadrance Metric and k-means Clustering of Nominal-continuous Data	2018-01-05	Paper
https://portal.mardi4nfdi.de/entity/Q4460674	2004-03-29	Paper
On the status of proving program properties in effective interpretations	1995-03-20	Paper
Arithmetical completeness versus relative completeness	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4733385	1989-01-01	Paper
On relative completeness of Hoare logics	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3735692	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3765226	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3668861	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4190135	1978-01-01	Paper

Research outcomes over time

This page was built for person: Michał Grabowski