Filtros : "Université Paris 7" Removido: "Dickmann, Max" Limpar

Filtros



Refine with date range


  • Source: Proceedings. Conference titles: Séminaire de structures algébriques ordonnées : 2012-2013. Unidade: IME

    Assunto: TEORIA DAS CATEGORIAS

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BRUNNER, Andreas Bernhard Michael e MIRAGLIA NETO, Francisco. The method of diagrams for presheaves of L-structures. 2014, Anais.. Paris: Université Paris 7, 2014. Disponível em: https://repositorio.usp.br/directbitstream/dcd950f6-b7d1-40d2-b0b6-7efe1346b5b2/3199402_-_The_Method_of_Diagrams_for_Presheaves_of_L-structures.pdf. Acesso em: 05 out. 2024.
    • APA

      Brunner, A. B. M., & Miraglia Neto, F. (2014). The method of diagrams for presheaves of L-structures. In Proceedings. Paris: Université Paris 7. Recuperado de https://repositorio.usp.br/directbitstream/dcd950f6-b7d1-40d2-b0b6-7efe1346b5b2/3199402_-_The_Method_of_Diagrams_for_Presheaves_of_L-structures.pdf
    • NLM

      Brunner ABM, Miraglia Neto F. The method of diagrams for presheaves of L-structures [Internet]. Proceedings. 2014 ;[citado 2024 out. 05 ] Available from: https://repositorio.usp.br/directbitstream/dcd950f6-b7d1-40d2-b0b6-7efe1346b5b2/3199402_-_The_Method_of_Diagrams_for_Presheaves_of_L-structures.pdf
    • Vancouver

      Brunner ABM, Miraglia Neto F. The method of diagrams for presheaves of L-structures [Internet]. Proceedings. 2014 ;[citado 2024 out. 05 ] Available from: https://repositorio.usp.br/directbitstream/dcd950f6-b7d1-40d2-b0b6-7efe1346b5b2/3199402_-_The_Method_of_Diagrams_for_Presheaves_of_L-structures.pdf
  • Source: Proceedings. Conference titles: Séminaire de structures algébriques ordonnées : 2002-2003. Unidade: IME

    Subjects: TEORIA DAS CATEGORIAS, TEORIA DOS MODELOS

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MARIANO, Hugo Luiz e MIRAGLIA NETO, Francisco. Profinite structures are retracts of ultraproducts of finite structures. 2004, Anais.. Paris: Université Paris 7, 2004. Disponível em: https://repositorio.usp.br/directbitstream/07d4dd1e-fdbd-48ac-8725-842d2f22ed58/3199511.pdf. Acesso em: 05 out. 2024.
    • APA

      Mariano, H. L., & Miraglia Neto, F. (2004). Profinite structures are retracts of ultraproducts of finite structures. In Proceedings. Paris: Université Paris 7. Recuperado de https://repositorio.usp.br/directbitstream/07d4dd1e-fdbd-48ac-8725-842d2f22ed58/3199511.pdf
    • NLM

      Mariano HL, Miraglia Neto F. Profinite structures are retracts of ultraproducts of finite structures [Internet]. Proceedings. 2004 ;[citado 2024 out. 05 ] Available from: https://repositorio.usp.br/directbitstream/07d4dd1e-fdbd-48ac-8725-842d2f22ed58/3199511.pdf
    • Vancouver

      Mariano HL, Miraglia Neto F. Profinite structures are retracts of ultraproducts of finite structures [Internet]. Proceedings. 2004 ;[citado 2024 out. 05 ] Available from: https://repositorio.usp.br/directbitstream/07d4dd1e-fdbd-48ac-8725-842d2f22ed58/3199511.pdf
  • Source: Proceedings. Conference titles: Séminaire de structures algébriques ordonnées : 1994-1995. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, ESTRUTURAS ORDENADAS, LÓGICA DE PRIMEIRA ORDEM

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      CONIGLIO, Marcelo Esteban e MIRAGLIA NETO, Francisco. Equality in linear logic. 1996, Anais.. Paris: Université Paris 7, 1996. Disponível em: https://repositorio.usp.br/directbitstream/51d5abaf-af02-406a-bb26-71939feea5a8/3199601.pdf. Acesso em: 05 out. 2024.
    • APA

      Coniglio, M. E., & Miraglia Neto, F. (1996). Equality in linear logic. In Proceedings. Paris: Université Paris 7. Recuperado de https://repositorio.usp.br/directbitstream/51d5abaf-af02-406a-bb26-71939feea5a8/3199601.pdf
    • NLM

      Coniglio ME, Miraglia Neto F. Equality in linear logic [Internet]. Proceedings. 1996 ;[citado 2024 out. 05 ] Available from: https://repositorio.usp.br/directbitstream/51d5abaf-af02-406a-bb26-71939feea5a8/3199601.pdf
    • Vancouver

      Coniglio ME, Miraglia Neto F. Equality in linear logic [Internet]. Proceedings. 1996 ;[citado 2024 out. 05 ] Available from: https://repositorio.usp.br/directbitstream/51d5abaf-af02-406a-bb26-71939feea5a8/3199601.pdf
  • Source: Proceedings. Conference titles: Séminaire de structures algébriques ordonnées : 1991-1992. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MIRAGLIA NETO, Francisco. The downward Lowenhein-Skolem theorem. 1993, Anais.. Paris: Université Paris 7, 1993. Disponível em: https://repositorio.usp.br/directbitstream/d2955d65-24e5-4471-ab04-fe7ae24d77f6/3199620.pdf. Acesso em: 05 out. 2024.
    • APA

      Miraglia Neto, F. (1993). The downward Lowenhein-Skolem theorem. In Proceedings. Paris: Université Paris 7. Recuperado de https://repositorio.usp.br/directbitstream/d2955d65-24e5-4471-ab04-fe7ae24d77f6/3199620.pdf
    • NLM

      Miraglia Neto F. The downward Lowenhein-Skolem theorem [Internet]. Proceedings. 1993 ;[citado 2024 out. 05 ] Available from: https://repositorio.usp.br/directbitstream/d2955d65-24e5-4471-ab04-fe7ae24d77f6/3199620.pdf
    • Vancouver

      Miraglia Neto F. The downward Lowenhein-Skolem theorem [Internet]. Proceedings. 1993 ;[citado 2024 out. 05 ] Available from: https://repositorio.usp.br/directbitstream/d2955d65-24e5-4471-ab04-fe7ae24d77f6/3199620.pdf

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