Menu

Filtros : "Journal of Logic, Language and Information" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • 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

    PrivadoAcesso à fonteDOIHow to cite
    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: 01 dez. 2025. , 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 2025 dez. 01 ] 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 2025 dez. 01 ] 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

    Versão PublicadaAcesso à fonteDOIHow to cite
    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: 01 dez. 2025.

    • 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 2025 dez. 01 ] 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 2025 dez. 01 ] Available from: https://doi.org/10.1007/s10849-005-9001-y
  • 1

1 - 2 (2 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2025