1![Proof-producing Congruence Closure Robert Nieuwenhuis? and Albert Oliveras?? Technical University of Catalonia, Jordi Girona 1, 08034 Barcelona, Spain www.lsi.upc.es/~roberto www.lsi.upc.es/~oliveras Abstract. Many appl Proof-producing Congruence Closure Robert Nieuwenhuis? and Albert Oliveras?? Technical University of Catalonia, Jordi Girona 1, 08034 Barcelona, Spain www.lsi.upc.es/~roberto www.lsi.upc.es/~oliveras Abstract. Many appl](https://www.pdfsearch.io/img/d663f12ed86c282548c1ca2432101733.jpg) | Add to Reading ListSource URL: www.lsi.upc.eduLanguage: English - Date: 2005-02-02 07:20:48
|
---|
2![Semiring-Induced Propositional Logic: Definition and Basic Algorithms ∗ † Javier Larrosa, Albert Oliveras and Enric Rodr´ıguez-Carbonell Technical University of Catalonia Barcelona, Spain larrosa,oliveras,erodri@ls Semiring-Induced Propositional Logic: Definition and Basic Algorithms ∗ † Javier Larrosa, Albert Oliveras and Enric Rodr´ıguez-Carbonell Technical University of Catalonia Barcelona, Spain larrosa,oliveras,erodri@ls](https://www.pdfsearch.io/img/2c5131cb85e6d4044b0fb974ed5e2db7.jpg) | Add to Reading ListSource URL: www.lsi.upc.eduLanguage: English - Date: 2010-07-28 04:32:18
|
---|
3![Declaration of publishing ethics and best practices for scientific journals published by the University of Barcelona Approved by the Executive Council on 8 FebruaryRatified by the Governing Council on 16 April 201 Declaration of publishing ethics and best practices for scientific journals published by the University of Barcelona Approved by the Executive Council on 8 FebruaryRatified by the Governing Council on 16 April 201](https://www.pdfsearch.io/img/8a31e833d16a9224e48e68cc689b6e2a.jpg) | Add to Reading ListSource URL: diposit.ub.eduLanguage: English - Date: 2018-06-06 05:27:37
|
---|
4![Estimating Cross-Industry Cross-Country Interaction Models Using Benchmark Industry Characteristics Antonio Ciccone University of Mannheim, Barcelona GSE, and CEPR Elias Papaioannou Estimating Cross-Industry Cross-Country Interaction Models Using Benchmark Industry Characteristics Antonio Ciccone University of Mannheim, Barcelona GSE, and CEPR Elias Papaioannou](https://www.pdfsearch.io/img/bfe04e78c496b27e2eb9bb870221dfa7.jpg) | Add to Reading ListSource URL: www.antoniociccone.euLanguage: English - Date: 2017-04-07 05:15:53
|
---|
5![Opacity, Know-How States, and their Content Josefa Toribio ICREA-University of Barcelona BIBLID626X; pp] Opacity, Know-How States, and their Content Josefa Toribio ICREA-University of Barcelona BIBLID626X; pp]](https://www.pdfsearch.io/img/698e6864cb7ba3fc21caccef3f05aef6.jpg) | Add to Reading ListSource URL: www.disputatio.letras.ulisboa.ptLanguage: English - Date: 2017-09-22 11:53:34
|
---|
6![Heartless’ Institutions: Critical Educators and University Feudalism by Ramon Flecha University of Barcelona Heartless’ Institutions: Critical Educators and University Feudalism by Ramon Flecha University of Barcelona](https://www.pdfsearch.io/img/3b869fcf6b4550453ab95e1f1aa16002.jpg) | Add to Reading ListSource URL: freireproject.org- Date: 2013-08-20 19:46:45
|
---|
7![Breaking the Silence: The Struggle Against Gender Violence in Universities by Lídia Puigvert University of Barcelona Breaking the Silence: The Struggle Against Gender Violence in Universities by Lídia Puigvert University of Barcelona](https://www.pdfsearch.io/img/24517c46005c78e584a4c61c20414741.jpg) | Add to Reading ListSource URL: freireproject.org- Date: 2013-08-20 19:46:45
|
---|
8![Information-theoretic policy search methods for learning versatile, reusable skills Gerhard Neumann University of Lincoln / University of Darmstadt | Gerhard Neumann | EWRL 2016 | Barcelona | 1 Information-theoretic policy search methods for learning versatile, reusable skills Gerhard Neumann University of Lincoln / University of Darmstadt | Gerhard Neumann | EWRL 2016 | Barcelona | 1](https://www.pdfsearch.io/img/0f181068a01df625da6125a8ce226fa7.jpg) | Add to Reading ListSource URL: ewrl.files.wordpress.com- Date: 2016-12-15 03:35:58
|
---|
9![PLENARY SESSION 2 Auditorium Ronsard Introductory lectures for sessions A&B Chairs: Cristina Andres Lacueva - University of Barcelona - Spain PLENARY SESSION 2 Auditorium Ronsard Introductory lectures for sessions A&B Chairs: Cristina Andres Lacueva - University of Barcelona - Spain](https://www.pdfsearch.io/img/f3bae89cb463741750b4d1336f0578db.jpg) | Add to Reading ListSource URL: www.icph2015.com- Date: 2015-11-04 10:49:12
|
---|
10![Introduction: Bringing a New Vision to Online Dispute Resolution Marta POBLET 1 Institute of Law and Technology, Autonomous University of Barcelona (IDT-UAB) Abstract. This article offers a brief overview of the state-o Introduction: Bringing a New Vision to Online Dispute Resolution Marta POBLET 1 Institute of Law and Technology, Autonomous University of Barcelona (IDT-UAB) Abstract. This article offers a brief overview of the state-o](https://www.pdfsearch.io/img/95f221408e62dd962717d0db7e01575e.jpg) | Add to Reading ListSource URL: ftp.informatik.rwth-aachen.de- Date: 2008-12-03 04:40:46
|
---|