Search

.

Current filters:

Use filters to refine the search results.

 |          

Item hits: Results 1-10 of 11 (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
2007Complete reducibility of pseudovarietiesAlmeida, Jorge; Costa, José Carlos; Zeitoun, MarcConference paperOpen access
2000Some variations on the notion of locally testable languageCosta, José CarlosConference paperOpen access
2018Permutability in proof terms for intuitionistic sequent calculus with cutsEspírito Santo, José; Frade, M. J.; Pinto, Luís F.Conference paperOpen access
14-Jan-2014On observational learning of hierarchies in sequential tasks: a dynamic neural field modelSousa, Emanuel; Erlhagen, Wolfram; Bicho, E.Conference paperOpen access
2009Some structural properties of the free profinite aperiodic semigroupAlmeida, Jorge; Costa, José Carlos; Zeitoun, MarcConference paperOpen access
13-Oct-2014Learning a musical sequence by observation : a robotics implementation of a dynamic neural field modelFerreira, Flora; Erlhagen, Wolfram; Sousa, Emanuel; Louro, Luís; Bicho, E.Conference paperOpen access
31-May-2014A dynamic neural field approach to natural and efficient human-robot collaborationErlhagen, Wolfram; Bicho, E.Book partOpen access
2014Experiments with firefly algorithmFrancisco, Rogério B.; Costa, M. Fernanda P.; Rocha, Ana Maria A. C.Conference paperOpen access
2002Some pseudovariety joins involving locally trivial semigroups and groupsCosta, José CarlosConference paperOpen access