Logowanie

Języki

  • Polski
  • English

publikacje w roku  

Zakład Języków Programowania - 2007

  1. M. Biernacka, O. Danvy, A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines, Theoretical Computer Science, 2007, 375: 76-108.
  2. M. Biernacka, O. Danvy, A Concrete Framework for Environment Machines, ACM Transactions on Computational Logic, 9(1): 6, 2007.
  3. M. Biernacka, D. Biernacki, Formalizing Constructions of Abstract Machines for Functional Languages in Coq, 7th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2007), Paris, June 2007.
  4. W. Charatonik, Regular directional types for logic programs, Proceedings of the 9th International ACM SIGPLAN Conference on Principles and practice of Declarative Programming, July 14-16, 2007, Wrocław, Poland. Page 209, ACM Press 2007.
  5. W. Charatonik, M. Wrona, 2-SAT Problems in Some Multi-valued Logics Based on Finite Lattices, 37th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2007), 2007, IEEE Computer Society 2007, 21-21.
  6. L. Grocholski, A. Niemiec, Zarządzanie ryzykiem w firmach informatycznych według Microsoft Solution Framework (MSF), Konferencja Metody i narzędzia wytwarzania oprogramowania, 14-16 maja 2007, Szklarska Poręba.
  7. E. Kieroński, L. Tendera, On Finite Satisfiability ofthe Guarded Fragment with Equivalence or Transitive Guards (red. A. Lipitakis), Proceedings, LPAR 2007, Lecture Notes in Artificial Intelligence 4790, 318-332. Full paper: Electronic print, ERCMA 2007 Conference Proceedings.
  8. J. de Nivelle, Redundancy for Geometric Resolution, Proceedings of the 6th International Workshop on First-Order Theorem Proving FTP 2007, Department of Computer Science, University of Liverpool, 2007, 77-100.
  9. W. Charatonik, Set Constraints and Language Equations, Theory and Applications of Language Equations, Proceedings of the 1st International Workshop, Turku, Finland, 2 July 2007, number 44 in General Publications, 1-4. Turku Centre for Computer Science, Jun 2007.
  10. D. Kähler, R. Küsters, T. Truderung, Infinite State AMC-Model Checking for Cryptographic Protocols, 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings. IEEE Computer Society, 2007.
  11. P. Wieczorek, Complexity of Typechecking XML Views of Relational Databases, Proceedings of 11th International Conference on Database Theory (ICDT 2007) LNCS 4353, Springer 2007, 239-253.
  12. R. Küsters, T. Truderung, On the Automatic Analysis of Recursive Security Protocols with XOR, STACS 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, 2007, Proceedings. Springer, 2007, 646-657.
  13. L. Grocholski, A. Niemiec, Analiza złożoności systemu zarządzania ryzykiem zgodnego z normą ISO/IEC 16085 – procesy w życiu oprogramowania – zarządzanie ryzykiem, Konferencja Metody i narzędzia wytwarzania oprogramowania, 14-16 maja 2007, Szklarska Poręba.
  14. J. Otop, Solution to some right alternative ring problems, CADE 2007 – Workshop on DISPROVING, 24-34.
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