Mark Bickford


AuthID: R-00K-2BY

Publicações a aguardar confirmação

1
TÍTULO: Formalizing Moessner's theorem and generalizations in Nuprl
AUTORES: Mark Bickford; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: J. Log. Algebraic Methods Program., VOLUME: 124
INDEXADO EM: DBLP

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service