Logowanie

Języki

  • Polski
  • English

publikacje w roku  

Zakład Teorii Informatyki - 1994

  1. G. Buntrock, K. Loryś, The variable membership problem: succinctness versus complexity, Proc. 11th Symposium on Theoretical Aspects of Computer Science (STACS), France, February'94, Proceedings, Lecture Notes in Computer Science 775, Springer-Verlag, 1994, 595-606.
  2. G. Stachowiak, On a long cycle in the graph of all linear extensions of a poset consisting of two disjoint chains, Discrete Math. 131 (1994), 375-378.
  3. W. Charatonik, L. Pacholski, Negative set constraints with equality, Proc. 9th IEEE Symposium on Logic in Computer Science (LICS), Paris 1994, 128-136.
  4. K. Diks, P. Donejko, A. Pelc, M. Piotrów, Reliable minimum finding comparator networks, Proc. 19th International Symposium on Mathematical Foundations of Computer Science (MFCS) (August 1994, Kosice, Slovakia), Lecture Notes in Computer Science 841, Springer-Verlag, 1994, 306-315.
  5. M. Kik, M. Kutyłowski, G. Stachowiak, Periodic constant depth sorting networks, STACS 94, Springer-Verlag, 1994.
  6. M. Kutyłowski, K. Loryś, B. Oesterdiekoff, R. Wanka, Fast and feasible periodic sorting networks of constant depth, Proc. 35th IEEE Symposium on Foundations of Computer Science (FOCS), 1994, 369-380.
  7. A. Czumaj, L. Gąsieniec, M. Piotrów, W. Rytter, Parallel and Sequential Approximation of Shortest Superstrings, Proc. 4th Scandinavian Workshop on Algorithm Theory (SWAT), (July 1994, Aarhus, Denmark), Lecture Notes in Computer Science 824, Springer-Verlag, 1994, 95-106.
  8. W. Charatonik, Set constraints in some equational theories, Proc. 1st International Conference Constraints in Computational Logics, LNCS 845, Springer-Verlag, 1994, 304-319.
  9. W. Charatonik, L. Pacholski, Set constraints with projections are in NEXPTIME, Proc. 35th Symposium on Foundations of Computer Science (FOCS), Santa Fe 1994, 642-653.
  10. M. Kik, M. Kutyłowski, G. Stachowiak, Periodic constant depth sorting networks, Proc. 11th Annual Symposium on Theoretical Aspects of Computer Science (STACS), Caen, France, February'94, LNCS 775, Springer-Verlag, 1994, 201-212.
  11. E. Gurbiel, E. Kołczyk, H. Krupicka, Z. Płoski, M. M. Sysło, J. Witkowski, R. Zuber, K. Łukojć, Elementy informatyki. Rozwiązania zadań (red. M. M. Sysło), Wydawnictwo Naukowe PWN, 1994, 1-231 (z dyskietką; wyd. 2).
  12. 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, 1994 (z dyskietką; wyd. 4).
  13. J. Marcinkowski, A Horn clause that implies an undecidable set of Horn clauses, Proc. 7th Conf. Computer Science Logic, LNCS 832, Springer-Verlag, 1994, 223-237.
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