Current filters:

Use filters to refine the search results.


Item hits: Results 1-10 of 15 (Search time: 0.0 seconds).
Issue DateTitleAuthor(s)TypeAccess
1995Nilpotents and congruences on semigroups of transformations with fixed rankSmith, M. Paula Marques; Sullivan, R. P.ArticleOpen access
Apr-1998Initial-boundary value problem for the Broadwell model of a gas mixture with bimolecular reactionSoares, A. J.ArticleOpen access
1996Congruences on orthodox semigroups with associate subgroupsBlyth, T. S.; Giraldes, E.; Smith, M. Paula MarquesArticleOpen access
1999The ideal structure of nilpotent-generated transformation semigroupsSmith, M. Paula Marques; Sullivan, R. P.ArticleOpen access
1999Curvilinear crosscuts of subdivision for a domain decomposition method in numerical conformal mappingFalcão, M. I.; Papamichael, N.; Stylianopoulos, N.S.ArticleOpen access
1999Proof search in constructive logicsPinto, Luís F.; Dyckhoff, RoyConference paperOpen access
1999Free profinite R-trivial, locally idempotent and locally commutative semigroupsCosta, José CarlosArticleOpen access
1996O 5º ano das licenciaturas em ensino: algumas reflexões e uma proposta de reorganizaçãoRalha, Elfrida; Dias, G.; Pacheco, José Augusto; Lima, Licínio C.; Santos, Manuel Pereira dos; Silva, Manuel Carlos; Valença, Raquel; Castro, Rui Vieira deArticleOpen access
1995Loop-free construction of counter-models for intuitionistic propositional logicPinto, Luís F.; Dyckhoff, RoyConference paperOpen access
1998Cut-elimination and a permutation-free sequent calculus for intuitionistic logicPinto, Luís F.; Dyckhoff, RoyArticleOpen access