Universidade do Minho: Pesquisa avançada

Result./Página | Ordenar por Em ordem Autores/Registo

Lista de resultados: 1-2 de um total de 2 resultados (tempo de pesquisa: 0.0 segundos).

Data	Título	Autor(es)	Tipo	Acesso
1998	Cut-elimination and a permutation-free sequent calculus for intuitionistic logic	Pinto, Luís F.; Dyckhoff, Roy	Artigo	Acesso aberto
1999	Permutability of proofs in intuitionistic sequent calculi	Pinto, Luís F.; Dyckhoff, Roy	Artigo	Acesso aberto

1-2 de um total de 2 resultados (tempo de pesquisa: 0.0 segundos).