Logowanie

Języki

  • Polski
  • English

publikacje w roku  

Zakład Języków Programowania - 2013

  1. M. Biernacka, D. Biernacki, W. Jedynak, An operational foundation for the tactic language of Coq, Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming : Madrid, Spain, September 16-18, 2013. - New York : ACM , 2013.- S. 25-36. (http://dx.doi.org/10.1145/2505879.2505890)
  2. W. Charatonik, E. Kieroński, S. Benaim, M. Benedikt, R. Lenhardt, F. Mazowiecki, J. Worrell, Complexity of two-variable logic on finite trees, Automata, languages, and programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8 - 12, 2013, Part II / Fedor V. Fomin, Rusinš Freivalds, Marta Kwiatkowska, David Peleg (eds.). - Berlin, Heidelberg : Springer, 2013. - (Lecture Notes in Computer Science ; Vol. 7966). - S. 74-88. (http://dx.doi.org/10.1007/978-3-642-39212-2_10)
  3. W. Charatonik, P. Witkowski, Two-variable logic with counting and trees, 28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS), 2013 : 25 - 28 June 2013, New Orleans, Louisiana. - Piscataway : IEEE Computer Society, 2013. - S. 73-82. (http://doi.ieeecomputersociety.org/10.1109/LICS.2013.12)
  4. M. Materzok, Axiomatizing subtyped delimited continuations, Computer Science Logic 2013 (CSL 2013) / Simona Ronchi Della Rocca (ed.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. - (LIPIcs - Leibniz International Proceedings in Informatics ; Vol.23).- S. 521-539. (http://dx.doi.org/10.4230/LIPIcs.CSL.2013.521)
  5. M. Biernacka, D. Biernacki, S. Lenglet, M. Materzok, Proving termination of evaluation for System F with control operators, Electronic Proceedings in Theoretical Computer Science. - Vol. 127 (2013), s. 15-29. (http://dx.doi.org/10.4204/EPTCS.127.2)
  6. A. Barecka, W. Charatonik, Parameterized complexity of basic decision problems for tree automata, International Journal of Computer Mathematics. - Vol. 90, iss. 6 (2013), s. 1150-1170. (http://dx.doi.org/10.1080/00207160.2012.762451)
  7. D. Biernacki, S. Lenglet, Environmental Bisimulations for Delimited-Control Operators, Proceedings of the 11th Asian Symposium on Programming Languages and Systems (APLAS 2013), pp., Melbourne, Australia, Springer, 2013. - (Lecture Notes in Computer Science ; Vol. 8301). - S. 333-348. (http://dx.doi.org/ 10.1007/978-3-319-03542-0_24)
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