Bounded theories for polyspace computability (2013)
Fonte: Portugaliae Mathematica. Unidade: IME
Assunto: COMPUTABILIDADE E COMPLEXIDADE
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 set. 2024.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 2024 set. 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 2024 set. 27 ] Available from: https://doi.org/10.4171/PM/1936