Logowanie

Języki

  • Polski
  • English

publikacje w roku  

Zakład Języków Programowania - 2015

  1. W. Charatonik, P. Witkowski, Two-variable logic with counting and a linear order, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) / Stephan Kreutzer (ed.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. - (LIPIcs - Leibniz International Proceedings in Informatics ; 41).- S. 631-647. (http://dx.doi.org/10.4230/LIPIcs.CSL.2015.631)
  2. M. Materzok, Easyprove: a tool for teaching precise reasoning, Proceedings of the Fourth International Conference on Tools for Teaching Logic 9-12 June 2015 / (eds.) M. Antonia Huertas et al. - Rennes : Université de Rennes, 2015.- S. 129-136. (http://ttl2015.irisa.fr/TTL2015_proceedings.pdf)
  3. D. Biernacki, O. Danvy, K. Millikin, A dynamic continuation-passing style for dynamic delimited continuations, ACM Transactions on Programming Languages and Systems . - Vol.38, iss. 1 (2015), nr art. 2. (http://dx.doi.org/10.1145/2794078)
  4. D. Biernacki, P. Polesiuk, Logical relations for coherence of effect subtyping, 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)/ Thorsten Altenkirch (ed.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. - (LIPIcs - Leibniz International Proceedings in Informatics ; 38).- S. 107-122. (http://dx.doi.org/10.4230/LIPIcs.TLCA.2015.107)
  5. J. de Nivelle, Automated Reasoning with Analytic Tableaux and Related Methods, 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / red. Hans de Nivelle Cham : Springer International Publishing, 2015. (http://dx.doi.org/10.1007/978-3-319-24312-2)
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