Logowanie

Języki

  • Polski
  • English

publikacje w roku  

Zakład Teorii Informatyki - 1998

  1. W. Charatonik, Set constraints in some equational theories, Information and Computation 142 (1998), 40-75.
  2. W. Charatonik, D. McAllester, D. Niwiński, A. Podelski, I. Walukiewicz, The Horn Mu-calculus, Proceedings of the 13th IEEE Symposium on Logic in Computer Science, Indianapolis 1998, 58-69.
  3. W. Charatonik, A. Podelski, Co-definite set constraints, Proceedings of the 9th Conference on Rewriting Techniques and Applications, Tsukuba, Japan, 1998, Lecture Notes in Computer Science 1379, Springer, Berlin 1998, 211-225.
  4. W. Charatonik, A. Podelski, Set-based analysis of reactive infinite-state systems, Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Lisbon, Portugal, March 28-April 4, 1998, Lecture Notes in Computer Science1384, Springer, Berlin 1998, 358-375.
  5. W. Charatonik, A. Podelski, Directional type inference for logic programs, Proceedings of the Fifth International Static Analysis Symposium (SAS), Pisa, Italy, September 1998, Lecture Notes in Computer Science 1503, Springer, Berlin 1998, 278-294.
  6. A. Czumaj, P. Kanarek, M. Kutyłowski, K. Loryś, Fast generation of random permutations via network simulation, Algorithmica 21 (1998), 2-20.
  7. W. Charatonik, An undecidable fragment of the theory of set constraints, Information Processing Letters 68 (1998), 147-151.
  8. P. Duris, T. Jurdziński, M. Kutyłowski, K. Loryś, Power of cooperation and multihead finite systems, Proceedings ICALP'98, Lecture Notes in Computer Science 1443, Springer, Berlin 1998, 896-907.
  9. A. Kościelski, L. Pacholski, Makanins group algorithm is not primitive recursive, Theoretical Computer Science 191 (1998), 145-156.
  10. M. Kutyłowski, K. Loryś, B. Oesterdiekhoff, Periodic merging networks, Theory of Computing Systems 31 (1998), 551-578.
  11. A. Formella, A. Łukaszewski, Fast penumbra calculation in ray tracing, WSCG'98 Conference Proceedings, vol. II, 1998, 238-245.
  12. P. Mielniczuk, L. Pacholski, Tarskian set constraints are in NEXPTIME, Proceedings of 23rd Symposium na Mathematical Foundations of Computer Science, Lecture Notes in Computer Science 1450, Springer, Berlin 1998, 589-596.
  13. P. Fabian, W. Mikanik, P. Wieczorek, Systemy operacyjne i języki obliczeń równoległych, skrypt Politechniki źląskiej nr 2121, Gliwice 1998, 1-126.
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