Bounded theories for polyspace computability (2013)
Bianconi, Ricardo 
; Ferreira, Gilda ; Silva, Emmanuel
Fonte: Portugaliae Mathematica. Unidade: IME
Assunto: COMPUTABILIDADE E COMPLEXIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BIANCONI, Ricardo e FERREIRA, Gilda e SILVA, Emmanuel. Bounded theories for polyspace computability. Portugaliae Mathematica, v. 70, n. 4, p. 295-318, 2013Tradução . . Disponível em: https://doi.org/10.4171/PM/1936. Acesso em: 27 nov. 2025.APA
Bianconi, R., Ferreira, G., & Silva, E. (2013). Bounded theories for polyspace computability. Portugaliae Mathematica, 70( 4), 295-318. doi:10.4171/PM/1936NLM
Bianconi R, Ferreira G, Silva E. Bounded theories for polyspace computability [Internet]. Portugaliae Mathematica. 2013 ; 70( 4): 295-318.[citado 2025 nov. 27 ] Available from: https://doi.org/10.4171/PM/1936Vancouver
Bianconi R, Ferreira G, Silva E. Bounded theories for polyspace computability [Internet]. Portugaliae Mathematica. 2013 ; 70( 4): 295-318.[citado 2025 nov. 27 ] Available from: https://doi.org/10.4171/PM/1936
