Logowanie

Języki

  • Polski
  • English

publikacje w roku  

Zakład Teorii Informatyki - 1997

  1. W. Charatonik, A. Podelski, Set constraints with intersection, Proceedings of the 12th IEEE Symposium on Logic in Computer Science (LICS), Warsaw 1997, 362-372.
  2. A. Kościelski, Teoria obliczeń. Wykłady z matematycznych podstaw informatyki, Wyd. Uniwersytetu Wrocławskiego, Wrocław 1997, 1-289.
  3. J. Marcinkowski, Undecidability of the first order theory of one-step right ground rewriting, Proceedings of 8th Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science 1232, Springer, Berlin 1997, 241-253.
  4. L. Pacholski, A. Podelski, Set constraints: a pearl in research on constraints, Proceedings of 3rd Conference on Principles and Practice of Constraint Programming, CP973, Lecture Notes in Computer Science 1330, Springer, Berlin 1997, 549-561.
  5. L. Pacholski, W. Szwast, L. Tendera, Complexity of two-variable logic with counting, Proceedings of 12th IEEE Symposium on Logic in Computer Science, Los Alamitos 1997, 318-327.
  6. A. Czumaj, L. Gąsieniec, M. Piotrów, W. Rytter, Sequential and parallel approximation of shortest superstrings, Journal of Algorithms 23 (1997), 74-100.
  7. G. Stachowiak, Finding parity difference by involutions, Discrete Math. 163 (1997), 139-151.
  8. W. Charatonik, A. Podelski, Solving set constraints for greatest models, Technical Report MPI-I-97-004, Max-Planck-Institut fur Informatik, April 1997.
  9. E. Gurbiel, E. Kołczyk, H. Krupicka, Z. Płoski, M. M. Sysło, J. Witkowski, R. Zuber, K. Łukojć, Elementy informatyki. Podręcznik (red. M. M. Sysło), Wydawnictwo Naukowe PWN, 1997, wyd. 8, 1-302.
  10. J. Witkowski, A comparison of three methods for estimating correlation matrix, Biocybernetics and Biomedical Engineering 17(1997).
  11. E. Gurbiel, G. Hardt-Olejniczak, E. Kołczyk, H. Krupicka, Z. Płoski, M. M. Sysło, J. Witkowski, R. Zuber, K. Łukojć, Elementy informatyki. Poradnik metodyczny dla nauczyciela (red. M. M. Sysło), Wydawnictwo Naukowe PWN, 1997, 1-522.
  12. Z. J. Czech, W. Mikanik, Practical PRAM simulation on T9000 transputers, Proc. 2nd International Conference on Parallel Processing & Applied Mathematics (PPAM'97), Zakopane, Poland, 2-5 September 1997, 186-194.
Adres:
Instytut Informatyki
Uniwersytetu Wroclawskiego
ul. Joliot-Curie 15
50-383 Wroclaw
Sekretariat
tel.: 71 375 7800
tel.: 71 325 1271
fax: 71 375 7801
sekretariat@ii.uni.wroc.pl
Dziekanat
tel.: 71 375 7892
dziekan@ii.uni.wroc.pl
sprawy studenckie:
dziekanat@ii.uni.wroc.pl
Portiernia
tel.: 71 375 7958
Redaktor strony WWW
redaktor@ii.uni.wroc.pl
Projekt
MAKOS