Showing results 1 to 20 of 85
next >
Issue Date | Title | Author(s) |
1989 | A four-valued modal logic arising from Monteiro's last algebras | Font, Josep M.; Rius Font, Miquel |
1996 | A strong completeness theorem for the gentzen systems associated with finite algebras | Gil, Àngel J.; Rebagliato, Jordi; Verdú, B. (Buenaventura) |
1979 | Alguns aspectes actuals de lògica algebraica | Pla i Carrera, Josep |
Jun-2019 | An approach to social choice theory | Castillo i Figueras, Ander |
2014 | An Asymmetric Index to Compare Trapezoidal Fuzzy Numbers | Rojas Mora, Julio César; Gil Lafuente, Jaime |
Feb-2015 | An axiomatization of the nucleolus of assignment markets | Llerena Garrés, Francesc; Núñez, Marina (Núñez Oliva); Rafels, Carles |
2023 | An Escape from Vardanyan's Theorem | Borges, Ana de Almeida Gabriel Vieira; Joosten, Joost J. |
18-Jan-2019 | Aplicació dels models canònics a la demostració del teorema de completesa | Planagumà Franco, Marta |
Mar-2020 | Assortative multisided assignment games: the extreme core points | Martínez de Albéniz, F. Javier; Rafels, Carles; Ybern, Neus |
2012 | An axiomatization of the nucleolus of the assignment game | Llerena Garrés, Francesc; Núñez, Marina (Núñez Oliva); Rafels, Carles |
1980 | Cadenes de Sales discretes | Torrens Torrell, Antoni |
2015 | Calidad de vida laboral en Colombia: un índice multidimensional difuso | Gómez Álvarez, Mónica Sofía; Galvis-Aponte, Luis Armando; Royuela Mora, Vicente |
Oct-2020 | Cardinal Arithmetic: From Silver’s Theorem to Shelah’s PCF Theory | Gallart Rodríguez, Curial |
2020 | Cardinals Beyond Choice and the HOD-Dichotomy | Spoerl, John |
21-Jun-2020 | Code deobfuscation by program synthesis-aided simplification of mixed boolean-arithmetic expressions | Gàmez-Montolio, Arnau |
2007 | Compatibilitat en àlgebra, en lògica i en informàtica | Font Llovet, Josep Maria |
23-Jan-2021 | La consistencia del axioma de elección y la hipótesis generalizada del continuo | Martı́nez Martı́nez, Raúl |
12-Jun-2023 | Construcció dels nombres reals: estructura i propietats del continu | Reverté Jorge, Mercè |
1987 | Contribuciones a la teoría abstracta de modelos | Casanovas Ruiz-Fornells, Enrique |
1-Jan-1975 | Contribució a l'estudi de les estructures algebraïques dels sistemes lògics deductius | Pla i Carrera, Josep |