Logowanie

Języki

  • Polski
  • English

publikacje w roku  

Zakład Języków Programowania - 1999

  1. W. Charatonik, M. Muller, A. Podelski, Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs, Proceedings of the European Symposium on Programming (ESOP), LNCS 1576, pp 177-192.
  2. M. Kutyłowski, L. Pacholski, Mathematical Foundations of Computer Science 1999 (red. T. Wierzbicki), Lecture Notes in Computer Science, volume 1672, Springer-Verlag, Berlin 1999.
  3. J. Marcinkowski, Undecidability of the ∃*∀* part of the theory of ground term algebra modulo an AC symbol, Proceedings of 10th International Conference on Rewriting Techniques and Applications (RTA 99); Springer, LNCS 1631, pp 92-102.
  4. J. Marcinkowski, Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraisse games, 11 pages, Proceedings of the Annual Conference of the European Association of Computer Science Logic CSL 99, Springer LNCS 1683, pp 338-349.
  5. J. Marcinkowski, Achilles, Turtle, and Undecidable Boundedness Problems for Small DATALOG Programs, SIAM Journal on Computing 1999, volume 29, no. 1, pp 231-257.
  6. D. Kirsten, J. Marcinkowski, Two Techniques in the Area of the Star Problem, 1999, Proceedings of 26th International Colloquium on Automata, Languages and Programming (ICALP 99); Springer, LNCS 1644, pp 483-492.
  7. P. Krysta, L. Pacholski, The STO problem is NP-complete, Journal of Symbolic Computation 27(2), February 1999, pp. 207-219.
  8. T. Wierzbicki, Complexity of the higher order matching (red. H. Ganzinger), Proc. 16th Int'l Conf. on Automated Deduction, CADE-16, Trento, Italy, July 2-4, 1999, Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin, 1999, 82-96.
  9. Z. J. Czech, P. Wieczorek, Grammars in genetic programming, Proc. of the Workshop Intelligent Information Systems VIII, Ustroń, Poland 14-18 June 1999, 247-256.
  10. A. Szczepkowicz, A. Łukaszewski, Computer Simulation of FIM Images – the Convex Hull Model, Vacuum (Vacuum Surface Engineering, Surface Instrumentation Vacuum Technology), Vol. 54, No.1-4, 67-72.
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