Menu

Filtros : "sequent calculus" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Trabalho de evento-anais periodico

    Using abduction to compute efficient proofs (2009)

    Finger, Marcelo

    Source: Electronic Notes in Theoretical Computer Science. Conference titles: Workshop on Logical and Semantic Frameworks, with Applications - LSFA. Unidade: IME

    Assunto: LÓGICA FORMAL

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo. Using abduction to compute efficient proofs. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.entcs.2009.07.047. Acesso em: 25 jan. 2026. , 2009

    • APA

      Finger, M. (2009). Using abduction to compute efficient proofs. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. doi:10.1016/j.entcs.2009.07.047

    • NLM

      Finger M. Using abduction to compute efficient proofs [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 247 39-49.[citado 2026 jan. 25 ] Available from: https://doi.org/10.1016/j.entcs.2009.07.047

    • Vancouver

      Finger M. Using abduction to compute efficient proofs [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 247 39-49.[citado 2026 jan. 25 ] Available from: https://doi.org/10.1016/j.entcs.2009.07.047

  • Artigo de periodico

    Equal rights for the cut: computable non-analytic cuts in cut-based proofs (2007)

    Finger, Marcelo ; Gabbay, Dov

    Source: Logic Journal of IGPL. 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. Equal rights for the cut: computable non-analytic cuts in cut-based proofs. Logic Journal of IGPL, v. 15, n. 5-6, p. 553-575, 2007Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzm040. Acesso em: 25 jan. 2026.

    • APA

      Finger, M., & Gabbay, D. (2007). Equal rights for the cut: computable non-analytic cuts in cut-based proofs. Logic Journal of IGPL, 15( 5-6), 553-575. doi:10.1093/jigpal/jzm040

    • NLM

      Finger M, Gabbay D. Equal rights for the cut: computable non-analytic cuts in cut-based proofs [Internet]. Logic Journal of IGPL. 2007 ; 15( 5-6): 553-575.[citado 2026 jan. 25 ] Available from: https://doi.org/10.1093/jigpal/jzm040

    • Vancouver

      Finger M, Gabbay D. Equal rights for the cut: computable non-analytic cuts in cut-based proofs [Internet]. Logic Journal of IGPL. 2007 ; 15( 5-6): 553-575.[citado 2026 jan. 25 ] Available from: https://doi.org/10.1093/jigpal/jzm040
  • 1

1 - 2 (2 records)

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