Polish Academy of Sciences
Institute of Computer Science
Gdansk Branch: Mathematical Methods of Programming



Papers, Reports, Programs
1998

Some entries may be upgraded or newly printed versions of reports listed for 1997, 1996 or 1995.
Listings of older reports and/or some more information may be found starting from the authors' home pagesMarek, Andrzej, Wieslaw. Stefan.
Look also for the next year listing, provided the next year already came.

Conference
contributions
ICS PAS reports Unpublished


Conference contributions:

Wieslaw Pawlowski
Context Parchments.
In Francesco Parisi Presicce, editor, Recent Trends in Algebraic Development Techniques. 12th International Workshop WADT'97. Tarquinia, Italy, June 1997. Selected papers. LNCS, vol. 1376, pages 381-401, ©Springer-Verlag, 1998.

Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski
Combining and Representing Logical Systems using Model-theoretic Parchments.
In Francesco Parisi Presicce, editor, Recent Trends in Algebraic Development Techniques. 12th International Workshop WADT'97. Tarquinia, Italy, June 1997. Selected papers. LNCS, vol. 1376, pages 349-364, ©Springer-Verlag, 1998.

ICS PAS reports:

Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski
Epimorphic Functors.
ICS PAS Report 864, November 1998.

Stefan Sokolowski
Point glueing in cpo-s.
ICS PAS Report 863, 21 pages, June 1998.

Stefan Sokolowski
Homotopy in concurrent processes.
ICS PAS Report 854, 49 pages, March 1998.

Andrzej Borzyszkowski
Matematyka ordynacji wyborczej (in Polish).
ICS PAS Report 846, 31 pages, December 1997.

Unpublished:

Stefan Sokolowski
Investigation of concurrent processes by means of homotopy functors.
47 pages, July 1998.

Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski
Generalized Congruences.
Submitted, July 1998.

Andrzej Borzyszkowski
Matematyka ordynacji wyborczej (in Polish).
Reworked version of the Report 846. February 1998.


To the home page of
ICS PAS
Gdansk

Comments to webmaster@ipipan.gda.pl.
Last modified: 9 September 1999

Powered by APACHE Valid HTML 3.2!