ReP USP - Resultado da busca

Trabalho de evento-anais periodico
Revising system specifications in temporal logic (2022)
Guerra, Paulo T ; Wassermann, Renata
Source: Journal of Logic, Language and Information. Conference titles: Workshop on Logic, Language, Information and Computation - WoLLIC. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GUERRA, Paulo T e WASSERMANN, Renata. Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s10849-022-09376-9. Acesso em: 17 fev. 2026. , 2022
APA
Guerra, P. T., & Wassermann, R. (2022). Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s10849-022-09376-9
NLM
Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1007/s10849-022-09376-9
Vancouver
Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1007/s10849-022-09376-9
Artigo de periodico
Cut and Pay (2006)
Finger, Marcelo ; Gabbay, Dov
Source: Journal of Logic, Language and Information. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e GABBAY, Dov. Cut and Pay. Journal of Logic, Language and Information, v. 15, p. 195-218, 2006Tradução . . Disponível em: https://doi.org/10.1007/s10849-005-9001-y. Acesso em: 17 fev. 2026.
APA
Finger, M., & Gabbay, D. (2006). Cut and Pay. Journal of Logic, Language and Information, 15, 195-218. doi:10.1007/s10849-005-9001-y
NLM
Finger M, Gabbay D. Cut and Pay [Internet]. Journal of Logic, Language and Information. 2006 ; 15 195-218.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1007/s10849-005-9001-y
Vancouver
Finger M, Gabbay D. Cut and Pay [Internet]. Journal of Logic, Language and Information. 2006 ; 15 195-218.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1007/s10849-005-9001-y
Artigo de periodico
Adding a temporal dimension to a logic system (1992)
Finger, Marcelo ; Gabbay, Dov M.
Source: Journal of Logic, Language and Information. Unidade: IME
Subjects: LÓGICA MODAL, LÓGICA MATEMÁTICA, FUNDAMENTOS DA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e GABBAY, Dov M. Adding a temporal dimension to a logic system. Journal of Logic, Language and Information, v. 1, p. 203-233, 1992Tradução . . Disponível em: https://doi.org/10.1007/BF00156915. Acesso em: 17 fev. 2026.
APA
Finger, M., & Gabbay, D. M. (1992). Adding a temporal dimension to a logic system. Journal of Logic, Language and Information, 1, 203-233. doi:10.1007/BF00156915
NLM
Finger M, Gabbay DM. Adding a temporal dimension to a logic system [Internet]. Journal of Logic, Language and Information. 1992 ; 1 203-233.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1007/BF00156915
Vancouver
Finger M, Gabbay DM. Adding a temporal dimension to a logic system [Internet]. Journal of Logic, Language and Information. 1992 ; 1 203-233.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1007/BF00156915

USP Schools

ReP

Filtros