Menu

Filtros : "TEORIA DOS MODELOS" "2023" Removido: "Figueiredo, Rodrigo" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Artigo de periodico

    Horn filter pairs and Craig interpolation in propositional logic (2023)

    Arndt, Peter ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição

    Source: Boletin de Matematicas. Unidade: IME

    Subjects: LÓGICA ALGÉBRICA, TEORIA DOS MODELOS

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

    • ABNT

      ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Horn filter pairs and Craig interpolation in propositional logic. Boletin de Matematicas, v. 30, n. 2, p. 1-5, 2023Tradução . . Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/112563. Acesso em: 02 nov. 2024.

    • APA

      Arndt, P., Mariano, H. L., & Pinto, D. C. (2023). Horn filter pairs and Craig interpolation in propositional logic. Boletin de Matematicas, 30( 2), 1-5. Recuperado de https://revistas.unal.edu.co/index.php/bolma/article/view/112563

    • NLM

      Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation in propositional logic [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-5.[citado 2024 nov. 02 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563

    • Vancouver

      Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation in propositional logic [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-5.[citado 2024 nov. 02 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563

  • Dissertação (Mestrado)

    Open Coloring Axiom e aplicações de colorações (2023)

    Souza, Thales Sarinho Galvão Santos de; Aurichi, Leandro Fiorini (Orientador)

    Unidade: ICMC

    Subjects: TEORIA DOS CONJUNTOS, TEORIA DOS JOGOS, TEORIA DOS MODELOS, TOPOLOGIA

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

    • ABNT

      SOUZA, Thales Sarinho Galvão Santos de. Open Coloring Axiom e aplicações de colorações. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55135/tde-17012024-121925/. Acesso em: 02 nov. 2024.

    • APA

      Souza, T. S. G. S. de. (2023). Open Coloring Axiom e aplicações de colorações (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55135/tde-17012024-121925/

    • NLM

      Souza TSGS de. Open Coloring Axiom e aplicações de colorações [Internet]. 2023 ;[citado 2024 nov. 02 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55135/tde-17012024-121925/

    • Vancouver

      Souza TSGS de. Open Coloring Axiom e aplicações de colorações [Internet]. 2023 ;[citado 2024 nov. 02 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55135/tde-17012024-121925/
  • 1

1 - 2 (2 records)

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