Stefan Sokołowski

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2843711	2013-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q3369656	2006-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4430321	2003-10-20	Paper
Investigation of concurrent processes by means of homotopy functors	2003-02-17	Paper
Overlapping associating fluids with directional bonds in a bulk and near a hard wall: Monte Carlo study	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q2703722	2001-05-07	Paper
Second-order Percus-Yevick theory for a confined hard-sphere fluid	1999-05-25	Paper
Toward formal development of programs from algebraic specifications: Parameterisation revisited	1994-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q3997545	1992-09-17	Paper
Partial correctness: The term-wise approach	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3930618	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3883456	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3883457	1980-01-01	Paper
Complexity of sorting by distributive partitioning	1979-01-01	Paper
A method for proving programming languages non context-free	1978-01-01	Paper
Axioms for total correctness	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4134897	1977-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stefan Sokołowski