Logowanie

Języki

  • Polski
  • English

publikacje w roku  

Zakład Języków Programowania - 2001

  1. L. Pacholski, SOFSEM 2001: Theory and Practice of Informatics, Proceedings of 28th Conference on Current Trends in Theory and Practice of Informatics, Lecture Notes in Computer Science tom 2234, (editor).
  2. A. Arnold, G. Lenzi, J. Marcinkowski, The hierarchy inside closed monadic ∑₁ collapses on the infinite binary tree, Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 157-167, 2001.
  3. W. Charatonik, J-M. Talbot, The Decidability of Model Checking Mobile Ambients, Proceedings of the 15th Annual Conference of the European Association for Computer Science Logic, volume 2142 of Lecture Notes in Computer Science, pages 339-354, Paris, France, September 2001, Springer.
  4. W. Charatonik, A.D. Gordon, S. Mukhopadhyay, J-M. Talbot, S. Dal Zilio, The complexity of model checking mobile ambients, Proceedings of of the 4th International Conference on Foundations of Software Science and Computation Structures, volume 2030 of Lecture Notes in Computer Science, pages 152-167, Genova, Italy, March 2001, Springer.
  5. A. Łukaszewski, Exploiting Coherence of Shadow Rays, Proceedings of AFRIGRAPH 2001, published by ACM SIGGRAPH, pp. 147-150.
  6. D. Janin, J. Marcinkowski, Toolkit for First Order Extensions of Monadic Games, Proceedings of STACS 2001. Springer, LNCS 2010, 353-365.
  7. P. Rychlikowski, T. Truderung, Polymorphic Directional Types For Logic Programming, Third International Conference on Principles and Practice of Declarative Programming (PPDP01), Florence, Italy, 5-7 September 2001.
  8. W. Charatonik, A.D. Gordon, S. Mukhopadhyay, J-M. Talbot, S. Dal Zilio, The Complexity of Model Checking Mobile Ambients, Technical Report MSR-TR-2001-03, Microsoft Research, May 2001.
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