Logowanie

Języki

  • Polski
  • English

publikacje w roku  

Zakład Teorii Informatyki - 1993

  1. L. Pacholski, Undecidability of implication problems in logic programming, database theory and classical logic (red. G. Gottlob, A. Leitsch, D. Mundici), Computational Logic and Proof Theory, Proceedings of the Third Kurt Gódel Colloquium, KGC'93, Lecture Notes in Computer Science, vol. 713, Springer-Verlag, Berlin 1993, 63-68.
  2. W. Charatonik, L. Pacholski, Word Equations with Two Variables, Proceedings of 2nd Workshop on Word Equations and Related Topics, IWWERT'91, Lecture Notes in Computer Science, vol. 677, Springer-Verlag, Berlin 1993, 43-56.
  3. L. Pacholski, W. Szwast, A counterexample to the 0-1 law for existential second order minimal Gódel sentences, Information and Computation 107 (1993), 91-103.
  4. A. Kościelski, Borel determinacy, weak set theories and higher order arithmetics (red. F. Gaillard, D. Richard), Seminaire du Laboratoire de Logic, Algorithmique et Informatique de Clermont 1, 144-196, Universite D'Auvergne, Clermont 1, 1992-1993.
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