Search

.

Current filters:

Use filters to refine the search results.

 |          

Item hits: Results 1-10 of 27 (Search time: 0.016 seconds).
Issue DateTitleAuthor(s)TypeAccess
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
2008ω-terms over finite aperiodic semigroupsAlmeida, Jorge; Costa, José Carlos; Zeitoun, MarcConference paperOpen 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