Current filters:

Use filters to refine the search results.


Item hits: Results 1-10 of 29 (Search time: 0.0 seconds).
Issue DateTitleAuthor(s)TypeAccess
May-2018Computational Aspects of Quaternionic Polynomials - Part I: Manipulating, Evaluating and FactoringFalcão, M. I.; Miranda, Fernando; Severino, Ricardo; Soares, M. J.ArticleOpen access
2014Confluence for classical logic through the distinction between values and computationsEspírito Santo, José; Matthes, Ralph; Nakazawa, Koji; Pinto, Luís F.Conference paperOpen access
2002Some pseudovariety joins involving locally trivial semigroupsCosta, José CarlosArticleOpen access
1999Free profinite R-trivial, locally idempotent and locally commutative semigroupsCosta, José CarlosArticleOpen access
2007Complete reducibility of pseudovarietiesAlmeida, Jorge; Costa, José Carlos; Zeitoun, MarcConference paperOpen access
2016Pointlike reducibility of pseudovarieties of the form V*DCosta, José Carlos; Nogueira, Conceição; Teixeira, M. L.ArticleOpen access
2014Heuristic-based firefly algorithm for bound constrained nonlinear binary optimizationCosta, M. Fernanda P.; Rocha, Ana Maria A. C.; Francisco, Rogério B.; Fernandes, Edite Manuela da G. P.ArticleOpen access
2000Some variations on the notion of locally testable languageCosta, José CarlosConference paperOpen access
15-Mar-2016Factoriality and the pin-reutenauer procedureAlmeida, Jorge; Costa, José Carlos; Zeitoun, MarcArticleOpen access
2018Permutability in proof terms for intuitionistic sequent calculus with cutsEspírito Santo, José; Frade, M. J.; Pinto, Luís F.Conference paperOpen access