Logowanie

Języki

  • Polski
  • English

publikacje w roku  

Zakład Języków Programowania - 2000

  1. W. Charatonik, Andreas Podelski, Jean-Marc Talbot, Paths vs. Trees in Set-based Program Analysis, Proceedings of the 27th Annual ACM Symposium on Principles of Programming Languages (POPL), Boston, Massachusetts, USA 2000, pp 330-338.
  2. W. Charatonik, Directional type checking for logic programs: Beyond discriminative types, Gert Smolka, editor, Proceedings of the 8th European Symposium on Programming (ESOP'00), volume 1782 of Lecture Notes in Computer Science, pages 72-87, Berlin, Germany, March 2000. Springer.
  3. L. Pacholski, In memoriam: Jerzy Łoś, The Bulletin of Symbolic Logic, 6 (2000), pp. 97-100.
  4. L. Pacholski, W. Szwast, L. Tendera, Complexity Results for Two-Variable Logic with Counting, SIAM J. on Computing, 29 (2000), pp. 1083-1117.
  5. Z. J. Czech, P. Wieczorek, Genetic programming in classification problems, Proc. of the Workshop Intelligent Information Systems IX, Bystra, Poland 12-16 June 2000, 120-124.
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