1![Extending Two-Variable Logic on Trees∗† Bartosz Bednarczyk1 , Witold Charatonik2 , and Emanuel Kieroński3 1 University of Wrocław, Wrocław, Poland Extending Two-Variable Logic on Trees∗† Bartosz Bednarczyk1 , Witold Charatonik2 , and Emanuel Kieroński3 1 University of Wrocław, Wrocław, Poland](https://www.pdfsearch.io/img/86e486fbe7a186332a5f6e98c164db9a.jpg) | Add to Reading ListSource URL: drops.dagstuhl.deLanguage: English - Date: 2017-08-14 08:48:29
|
---|
2![Modal Logics Definable by Universal Three-Variable Formulas Emanuel Kieroński∗ , Jakub Michaliszyn∗ , and Jan Otop Institute of Computer Science University of Wrocław {kiero,jmi,jotop}@cs.uni.wroc.pl Modal Logics Definable by Universal Three-Variable Formulas Emanuel Kieroński∗ , Jakub Michaliszyn∗ , and Jan Otop Institute of Computer Science University of Wrocław {kiero,jmi,jotop}@cs.uni.wroc.pl](https://www.pdfsearch.io/img/af9f1682e4a06fff7fd1044a35159bb0.jpg) | Add to Reading ListSource URL: drops.dagstuhl.deLanguage: English - Date: 2011-12-01 09:29:51
|
---|
3![A Faster FPTAS for #Knapsack Paweł Gawrychowski Institute of Computer Science, University of Wrocław, Poland Liran Markin1 A Faster FPTAS for #Knapsack Paweł Gawrychowski Institute of Computer Science, University of Wrocław, Poland Liran Markin1](https://www.pdfsearch.io/img/a98f08bea741e473b348fb79e8e32920.jpg) | Add to Reading ListSource URL: www.cs.haifa.ac.ilLanguage: English - Date: 2018-04-29 12:08:57
|
---|
4![Syntax and Semantics for Operations with Scopes Maciej Piróg Tom Schrijvers University of Wrocław Syntax and Semantics for Operations with Scopes Maciej Piróg Tom Schrijvers University of Wrocław](https://www.pdfsearch.io/img/06a186cea2eba81188b6532639c15882.jpg) | Add to Reading ListSource URL: www.ii.uni.wroc.plLanguage: English - Date: 2018-06-06 10:28:20
|
---|
5![Easyprove: a tool for teaching precise reasoning Marek Materzok1 1 Institute of Computer Science University of Wrocław, Poland Easyprove: a tool for teaching precise reasoning Marek Materzok1 1 Institute of Computer Science University of Wrocław, Poland](https://www.pdfsearch.io/img/b3a2e6b5eec4a1e13f12e71986b7ad7a.jpg) | Add to Reading ListSource URL: www.tilk.euLanguage: English - Date: 2015-06-09 11:04:28
|
---|
6![Noun and verb in the mind. An interdisciplinary approach * Joanna Błaszczak and Dorota Klimek-Jankowska University of Wrocław Abstract In this paper we intend to provide a unified picture of the organization of knowled Noun and verb in the mind. An interdisciplinary approach * Joanna Błaszczak and Dorota Klimek-Jankowska University of Wrocław Abstract In this paper we intend to provide a unified picture of the organization of knowled](https://www.pdfsearch.io/img/3629cbd20da6f7e21a1b542fe724e786.jpg) | Add to Reading ListSource URL: www.ifa.uni.wroc.pl- Date: 2015-01-29 03:58:59
|
---|
7![2015 EVENTS CALENDAR WOJSŁAWICE ARBORETUM near Niemcza Branch of the Botanical Garden of Wrocław University 26th April (SundaySPRING WALK with guide 2015 EVENTS CALENDAR WOJSŁAWICE ARBORETUM near Niemcza Branch of the Botanical Garden of Wrocław University 26th April (SundaySPRING WALK with guide](https://www.pdfsearch.io/img/5c19479b581e55a48e877af798202b08.jpg) | Add to Reading ListSource URL: arboretumwojslawice.pl- Date: 2015-05-06 02:20:30
|
---|
8![THE INTERNATIONALIZATION STRATEGY FOR THE UNIVERSITY The internationalization strategy refers directly to its EU Mission in Wroclaw and to its Vision of Development: THE INTERNATIONALIZATION STRATEGY FOR THE UNIVERSITY The internationalization strategy refers directly to its EU Mission in Wroclaw and to its Vision of Development:](https://www.pdfsearch.io/img/68f28d98254ca6bbf89439840cbbbf2e.jpg) | Add to Reading ListSource URL: www.ue.wroc.plLanguage: English - Date: 2013-05-09 15:05:50
|
---|
9![Wydział Geoinżynierii, Górnictwa i Geologii Politechniki Wrocławskiej Faculty of Geoengineering, Mining and Geology Wrocław University of Technology Vol. I (2014) Wydział Geoinżynierii, Górnictwa i Geologii Politechniki Wrocławskiej Faculty of Geoengineering, Mining and Geology Wrocław University of Technology Vol. I (2014)](https://www.pdfsearch.io/img/e87c0ccf204e02b26fa3cd678339997a.jpg) | Add to Reading ListSource URL: www.historia-gornictwa.pwr.wroc.plLanguage: Polish - Date: 2015-02-26 09:45:00
|
---|
10![HR STRATEGY FOR RESEARCHERS (HRS4R) The implementation of the principles of the European Charter for Researchers and the Code of Conduct for the Recruitment of Researchers at Wrocław University of Science and Technology HR STRATEGY FOR RESEARCHERS (HRS4R) The implementation of the principles of the European Charter for Researchers and the Code of Conduct for the Recruitment of Researchers at Wrocław University of Science and Technology](https://www.pdfsearch.io/img/20867f0d187aeaaf90ed97e6ef244dd1.jpg) | Add to Reading ListSource URL: www.portal.pwr.wroc.plLanguage: English - Date: 2016-05-16 08:26:41
|
---|