?. Miquey


AuthID: R-00J-V5G

Publicações a aguardar confirmação

1
TÍTULO: Realizability with stateful computations for nonstandard analysis
AUTORES: Dinis, B; Miquey, É;
PUBLICAÇÃO: 2021, FONTE: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 183
INDEXADO EM: Scopus

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