Logowanie

Języki

  • Polski
  • English

publikacje w roku  

Zakład Języków Programowania - 2012

  1. J. Otop, E-unification with Constants vs. General E-unification, Journal of Automated Reasoning, Vol. 48 No. 3 (2012), 363-390. (http://dx.doi.org/10.1007/s10817-010-9201-2)
  2. D. Biernacki, S. Lenglet, Applicative bisimulations for delimited-control operators, Foundations of software science and computational structures : 15th international conference FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / Lars Birkedal (ed.). - Berlin ; Heidelberg : Springer, 2012. - (Lecture Notes in Computer Science ; 7213).- S. 119-134. (http://dx.doi.org/10.1007/978-3-642-28729-9)
  3. D. Biernacki, M. Materzok, A Dynamie Interpretation of the CPS Hierarchy, R. Jhala and A. Igarashi, editors, Proceedings of the l0th Asian Symposium on Programming Languages and Systems (APLAS 2012), Kyoto, Japan, December 2012. (http://www.ii.uni.wroc. pl/~dabi/publications/APLAS12/materzok-biernacki-aplasl2.pdf)
  4. D. Biernacki, S. Lenglet, Normal Form Bisimulations for Delimited-Control Operators, T. Shrijvers and P. Thiemann, editors, Proceedings of the 11th International Symposium on Functional and Logic Programming (FLOPS 2012), Kobe, Japan, May 2012. (http: //www.ii.uni.wroc.pl/~dabi/publications/FL0PS12/biernacki-lenglet -flopsl2.pdf.)
  5. L. Grocholski, Specyfikowanie wymagań jako bariera wdrażania systemów klasy B2B, Metody Informatyki Stosowanej. - 2011, nr 5 (2012), s. 35-48.
  6. J. Michaliszyn, J. Otop, Decidable elementary modal logics, 27th Annual ACM/IEEE Symposium on Logic in Computer Science, 25-28 June 2012, Dubrovnik, Croatia : proceedings /Rajeev Alur (ed.). - Los Alamitos : IEEE Computer Society, 2012.- S. 491-500. (http://dx.doi.org/10.1109/LICS.2012.59)
  7. E. Kieroński, J. Michaliszyn, Two-variable universal logic with transitive closure, Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France / Patrick Cégielski, Arnaud Durand (eds.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. - (LIPIcs - Leibniz International Proceedings in Informatics ; Vol.16).- S. 396-410. (http://dx.doi.org/10.4230/LIPIcs.CSL.2012.396)
  8. J. Michaliszyn, J. Otop, P. Witkowski, Satisfiability vs. finite satisfiability in elementary modal logics, Electronic Proceedings in Theoretical Computer Science. - Vol. 96 (2012), s. 141-154. (http://dx.doi.org/10.4204/EPTCS.96.11)
  9. S. Staworko, P. Wieczorek, Learning twig and path queries, EDBT/ICDT 2012 Joint Conference : Electronic Conference Proceedings : March 26-30, 2012, Berlin, Germany / Ismail Ari (ed.). - Berlin : ACM, 2012. (http://www.edbt.org/Proceedings/2012-Berlin/papers/icdt/a20-Staworko.pdf)
  10. E. Kieroński, M. Otto, Small substructures and decidability issues for first-order logic with two variables, Journal of Symbolic Logic. - Vol. 77, iss. 3 (2012), s. 729-765. (http://projecteuclid.org/DPubS?service=UI)
  11. E. Kieroński, J. Michaliszyn, I. Pratt-Hartmann, L. Tendera, Two-variable first-order logic with equivalence closure, Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science ; 25-28 June 2012, Dubrovnik, Croatia. - Los Alamitos : IEEE Computer Society, 2012.- S. 431-440. (http://dx.doi.org/10.1109/LICS.2012.53)
  12. E. Kieroński, J. Michaliszyn, Finite Satisfiability of Modal Logic over Horn Definable Classes of Frames, AIML 2012. 27th Annual Symposium on Advances in Modal Logic. Copenhagen, Denmark, August 25-28, 2012. Proceedings, pages 464-482, RK.
  13. S. Staworko, J. Chomicki, J. Marcinkowski, Prioritized repairing and consistent query answering in relational databases, Annals of Mathematics and Artificial Intelligence . 64(2-3): 209-246 (2012), RF.
  14. J. Michaliszyn, P. Wieczorek, A. Muscholl, S. Staworko, Z. Wu, On Injective Embeddings of Tree Patterns, (http://arxiv.org/pdf/1204.4948)
  15. A. Kościelski, Uwagi o indukcji matematycznej, Matematyka. - R. 65, nr 5 (2012), s. 25-31.
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