Reports:

• postscript - 1089 Kb or
• gzipped postscript - 229 Kb

Rafal Somla, ``Analiza wspolbieznosci za pomoca metod topologii algebraicznej''
8 pages, March 1998:

• postscript - 496 Kb or
• gzipped postscript - 128 Kb,

Stefan Sokolowski, ``Homotopy cpo-s for concurrent processes''
draft version, will change, 16 pages, June 1997:

• postscript - 288 Kb or
• gzipped postscript - 107 Kb

Tomasz Borzyszkowski, ``Correctness of the logical system for structured specifications''
13 pages, May 1997:

• postscript - 198 Kb or
• gzipped postscript - 80 Kb

Stefan Sokolowski, ``Biala Ksiega unifikacji i typowania''
wersja poprawiona po raz kolejny, 18 stron, marzec 1997:

• postscript - 232 Kb or
• gzipped postscript - 83 Kb or
• LaMeX source - 57 Kb + LaMeX macros - 13 Kb

Rafal Somla, ``Specyfikacja procesow z zastosowaniem do problemu TFU''
5 pages, February 1997:

• postscript - 69 Kb or
• gzipped postscript - 26 Kb,

Stefan Sokolowski, ``Intersection of functional subset types''
10 pages, November 1996:

• postscript - 185 Kb or
• gzipped postscript - 75 Kb

Proposal	Staff and collaborators	Meetings	Reports

To the main home page of this project
To the home page of ICS PAS
To the home page of IM UG

Comments to webmaster@ipipan.gda.pl.
Last modified: 1 April 1998