Logowanie

Języki

  • Polski
  • English

publikacje w roku  

Zakład Teorii Informatyki i Baz Danych - 2014

  1. T. Gogacz, K. Krupiński, On regular groups and fields, Journal of Symbolic Logic. - Vol. 79, iss. 3 (2014), s. 826-844. (http://dx.doi.org/10.1017/jsl.2013.17)
  2. E. Kieroński, A. Kuusisto, Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality, MFCS 2014. Budapest, Hungary, August 26-29, 2014. Proceedings, Part I, LNCS 8634, pp. 365--376. (http://link.springer.com/chapter/10.1007%2F978-3-662-44522-8_31)
  3. W. Charatonik, E. Kieroński, F. Mazowiecki, Decidability of Weak Logics with Deterministic Transitive Closure, CSL-LICS 2014. Vienna, Austria, July 14 - 18, 2014. Proceedings, pp. 29:1--29:10. (http://dl.acm.org/citation.cfm?doid=2603088.2603134)
  4. E. Kieroński, J. Michaliszyn, I. Pratt-Hartmann, L. Tendera, Two-variable First-order Logic with Equivalence Closure, SIAM Journal on Computing, Volume 43, Issue 3, 2014, pp. 1012--1063. (http://epubs.siam.org/doi/abs/10.1137/120900095)
  5. T. Gogacz, K. Krupiński, On regular groups and fields, Journal of Symbolic Logic. - Vol. 79, iss. 3 (2014), s. 826-844.
  6. T. Gogacz, M. Bojańczyk, H. Michalewski, M. Skrzypczak, On the decidability of MSO+U on infinite trees, Proceedings - International Colloquium on Automata, Languages, and Programming - 2014, s. 50-61.
  7. T. Gogacz, J. Marcinkowski, All-Instances Termination of Chase is Undecidable, Proceedings - International Colloquium on Automata, Languages, and Programming - 2014, s. 293-304.
  8. T. Gogacz, H. Michalewski, M. Mio, M. Skrzypczak, Measure Properties of Game Tree Languages, Proceedings - Mathematical Foundations of Computer Science - 2014, s. 303-314.
  9. T. A. Henzinger, J. Otop, Model measuring for hybrid systems, 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, ACM, 2014, str. 213-222. (http://dl.acm.org/citation.cfm?doid=2562059.2562130)
  10. J. Otop, T. A. Henzinger, S. Roopsha, Lipschitz Robustness of Finite-state Transducers, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, LIPIcs, 2014, str. 431-443. (http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2014.431)
  11. S. Staworko, P. Wieczorek, Characterizing XML Twig Queries with Examples, 18th International Conference on Database Theory (ICDT'15). Leibniz International Proceedings in Informatics Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany. (http://www.ii.uni.wroc.pl/~piotrek/paper.php?p=icdt15)
  12. J. Marcinkowski, J. Michaliszyn, The Undecidability of the Logic of Subintervals, Fundamenta Informaticae. 131(2): 217-240, 2014. (http://dx.doi.org/10.3233/FI-2014-1011)
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