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 pages:
Marek,
Andrzej,
Wieslaw.
Stefan.
Look also for the next year listing,
provided the next year already came.
|
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.
|
|
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.
|
|
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.
|
Comments to webmaster@ipipan.gda.pl.
Last modified: 9 September 1999
|