Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

           

Lista de resultados: 1-10 de um total de 15 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
1995Loop-free construction of counter-models for intuitionistic propositional logicPinto, Luís F.; Dyckhoff, RoyconferencePaperopenAccess
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 dearticleopenAccess
1995Nilpotents and congruences on semigroups of transformations with fixed rankSmith, M. Paula Marques; Sullivan, R. P.articleopenAccess
1999Proof search in constructive logicsPinto, Luís F.; Dyckhoff, RoyconferenceObjectopenAccess
Abr-1998Initial-boundary value problem for the Broadwell model of a gas mixture with bimolecular reactionSoares, A. J.articleopenAccess
1996Congruences on orthodox semigroups with associate subgroupsBlyth, T. S.; Giraldes, E.; Smith, M. Paula MarquesarticleopenAccess
1994Associate subgroups of orthodox semigroupsBlyth, T. S.; Giraldes, E.; Smith, M. Paula MarquesarticleopenAccess
1999The ideal structure of nilpotent-generated transformation semigroupsSmith, M. Paula Marques; Sullivan, R. P.articleopenAccess
1999Free profinite R-trivial, locally idempotent and locally commutative semigroupsCosta, José CarlosarticleopenAccess
1998Cut-elimination and a permutation-free sequent calculus for intuitionistic logicPinto, Luís F.; Dyckhoff, RoyarticleopenAccess