|
|
Anti-Unification for Unranked Terms and Hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
|
Anti-Unification for Unranked Terms and Hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
|
Anti-unification for unranked terms and hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
1 juny 2018 |
Anti-unification for unranked terms and hedges |
|
|
|
5 juny 2018 |
Anti-unification for unranked terms and hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
2011 |
Anti-Unification for Unranked Terms and Hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
febrer 2014 |
Anti-unification for unranked terms and hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
|
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers |
Ansótegui, Carlos
; Bofill Arasa, Miquel
; Manyà, Felip
; Villaret i Ausellé, Mateu
|
|
|
1 juny 2016 |
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers |
Ansótegui, Carlos
; Bofill Arasa, Miquel
; Manyà, Felip
; Villaret i Ausellé, Mateu
|
|
|
10 novembre 1958 |
Carta de 1958-11-10 a José Ferrater Mora des de Potenza (Itàlia) |
Pisani, Nicolás
|
|
|
|
Correcció d’exercicis de lògica per l’ACME |
Torm Bossa, Gemma
|
|
|
maig 2012 |
Correcció d’exercicis de lògica per l’ACME |
Torm Bossa, Gemma
|
|
|
juny 2022 |
Creació i avaluació d’un material lògic estructuratn per a les matemàtiques del segon cicle d’educació infantil |
Portas Tribulietx, Ona
|
|
|
2010 |
An Efficient Nominal Unification Algorithm |
Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
|
An Efficient Nominal Unification Algorithm |
Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
|
An Efficient Nominal Unification Algorithm |
Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
1 juny 2018 |
An Efficient Nominal Unification Algorithm |
|
|
|
5 juny 2018 |
An Efficient Nominal Unification Algorithm |
Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
1 juny 2018 |
Higher-Order Pattern Anti-Unification in Linear Time |
|
|
|
5 juny 2018 |
Higher-Order Pattern Anti-Unification in Linear Time |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
1 febrer 2017 |
Higher-Order Pattern Anti-Unification in Linear Time |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
12 novembre 2015 |
Lògica borrosa i lògica |
Esteva Massaguer, Francesc
; Godo i Lacasa, Lluís
|
|
|
8 octubre 2010 |
Sessions per a mestres sobre l’ensenyament de les correspondències matemàtiques de qualitat i quantitat [8-10-2010] |
Canals, Maria Antònia
|
|
|
8 octubre 2010 |
Sessions per a mestres sobre l’ensenyament de les correspondències matemàtiques de qualitat i quantitat [8-10-2010] |
Canals, Maria Antònia
|
|
|
2009 |
SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format |
Bofill Arasa, Miquel
; Palahí i Sitges, Miquel
; Suy Franch, Josep
; Villaret i Ausellé, Mateu
|
