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: Theoretical Computer Science
- ISSN: 0304-3975
- Volume/Número/Paginação/Ano: v. 318, n. 3, p. 373-408, 2004
- Status:
- Nenhuma versão em acesso aberto identificada
-
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: 07 abr. 2026. -
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 2026 abr. 07 ] 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 2026 abr. 07 ] Available from: https://doi.org/10.1016/j.tcs.2004.02.002 - A relaxed constant positive linear dependence constraint qualification and applications
- Proximal methods for nonlinear programming: double regularization and inexact subproblems
- A note on the existence of zeroes of convexly regularized sums of maximal monotone operators
- Double-regularization proximal methods, with complementarity applications
- Exact penalties for variational inequalities with applications to nonlinear complementary problems
- A practical relative error criterion for augmented Lagrangians
- Exact penalties for variational inequalities with applications to nonlinear complementarity problems
- Nonmonotone projected gradient methods based on barrier and Euclidean distances
- Two new weak constraint qualifications and applications
- Tópicos em métodos de ponto proximal
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
