Zobrazeno 1 - 10
of 63
pro vyhledávání: '"Vaggione, D."'
Autor:
Vaggione, D., Botero, W. J. Zuluaga
An algebra $\mathbf{P}$ is called \textit{preprimal} if $\mathbf{P}$ is finite and $\func{Clo}(\mathbf{P})$ is a maximal clone. A \textit{preprimal variety} is a variety generated by a preprimal algebra. After Rosenberg's classification of maximal cl
Externí odkaz:
http://arxiv.org/abs/2002.00109
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Campercholi, M., Vaggione, D.
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2011 Jun 01. 98(1/2), 285-306.
Externí odkaz:
https://www.jstor.org/stable/41475181
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Badano, M.1 mbadano@famaf.unc.edu.ar, Vaggione, D.1 vaggione@famaf.unc.edu.ar
Publikováno v:
Acta Mathematica Hungarica. Feb2017, Vol. 151 Issue 1, p47-49. 3p.
Autor:
Vaggione, D.
Publikováno v:
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Universitat Politècnica de Catalunya (UPC)
We prove an in nitary version of the Double Recursion Theorem of Smullyan. We give some applications which show how this form of the Recursion Theo- rem can be naturally applied to obtain interesting in nite sequences of pro- grams
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2b83a3e6e727d63de7d3e94f436cdec2
https://hdl.handle.net/2099/13216
https://hdl.handle.net/2099/13216