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.016 segundos).
DataTítuloAutor(es)TipoAcesso
1994Associate subgroups of orthodox semigroupsBlyth, T. S.; Giraldes, E.; Smith, M. Paula MarquesArtigoAcesso aberto
1996Congruences on orthodox semigroups with associate subgroupsBlyth, T. S.; Giraldes, E.; Smith, M. Paula MarquesArtigoAcesso aberto
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 deArtigoAcesso aberto
1999Permutability of proofs in intuitionistic sequent calculiPinto, Luís F.; Dyckhoff, RoyArtigoAcesso aberto
1994Cut formulae and logic programmingPinto, Luís F.Artigo em ata de conferênciaAcesso aberto
Abr-1998Initial-boundary value problem for the Broadwell model of a gas mixture with bimolecular reactionSoares, A. J.ArtigoAcesso aberto
1999Proof search in constructive logicsPinto, Luís F.; Dyckhoff, RoyArtigo em ata de conferênciaAcesso aberto
1995Nilpotents and congruences on semigroups of transformations with fixed rankSmith, M. Paula Marques; Sullivan, R. P.ArtigoAcesso aberto
1995Loop-free construction of counter-models for intuitionistic propositional logicPinto, Luís F.; Dyckhoff, RoyArtigo em ata de conferênciaAcesso aberto
1998Cut-elimination and a permutation-free sequent calculus for intuitionistic logicPinto, Luís F.; Dyckhoff, RoyArtigoAcesso aberto
1-10 de um total de 15 resultados (tempo de pesquisa: 0.016 segundos).

Descobrir