The decidability of a fragment of BB'IW-logic (2004)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; SILVA, PAULO JOSÉ DA SILVA E - IME
- Unidade: IME
- DOI: 10.1016/j.tcs.2004.02.002
- Assunto: LÓGICA MATEMÁTICA
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: Theoretical Computer Science
- ISSN: 0304-3975
- Volume/Número/Paginação/Ano: v. 318, n. 3, p. 373-408, 2004
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
BRODA, Sabine et al. The decidability of a fragment of BB'IW-logic. Theoretical Computer Science, v. 318, n. 3, p. 373-408, 2004Tradução . . Disponível em: https://doi.org/10.1016/j.tcs.2004.02.002. Acesso em: 24 abr. 2024. -
APA
Broda, S., Damas, L., Finger, M., & Silva, P. J. S. (2004). The decidability of a fragment of BB'IW-logic. Theoretical Computer Science, 318( 3), 373-408. doi:10.1016/j.tcs.2004.02.002 -
NLM
Broda S, Damas L, Finger M, Silva PJS. The decidability of a fragment of BB'IW-logic [Internet]. Theoretical Computer Science. 2004 ; 318( 3): 373-408.[citado 2024 abr. 24 ] Available from: https://doi.org/10.1016/j.tcs.2004.02.002 -
Vancouver
Broda S, Damas L, Finger M, Silva PJS. The decidability of a fragment of BB'IW-logic [Internet]. Theoretical Computer Science. 2004 ; 318( 3): 373-408.[citado 2024 abr. 24 ] Available from: https://doi.org/10.1016/j.tcs.2004.02.002 - Exact penalties for variational inequalities with applications to nonlinear complementary problems
- A note on a existence of zeroes of convexly regularized sums of maximal monotone operators
- A practical relative error criterion for augmented Lagrangians
- A relaxed constant positive linear dependence constraint qualification and applications
- Two new weak constraint qualifications and applications
- Tópicos em métodos de ponto proximal
- Double-regularization proximal methods, with complementarity applications
- A note on the existence of zeroes of convexly regularized sums of maximal monotone operators
- Exact penalties for variational inequalities with applications to nonlinear complementarity problems
- Metodo de ponto proximal e separadores
Informações sobre o DOI: 10.1016/j.tcs.2004.02.002 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas