Resultados de 1 a 10 de 17 para Produção Intelectual da USP
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Disponível na Biblioteca (12)
- Recursos Online (8)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Filter pairs and natural extensions of logicsPeter Arndt Hugo Luiz Mariano; Darllan Conceição PintoArchive for Mathematical Logic Berlin v. 62, n. 1-2, p. 113-145, 2023Berlin 2023Localização: IME - Inst. Matemática e Estatística (PROD-3114915 )(Acessar) |
| 2 |
Material Type: Artigo
|
|
Horn filter pairs and Craig interpolation in propositional logicPeter Arndt Hugo Luiz Mariano; Darllan Conceição PintoBoletin de Matematicas Bogota v. 30, n. 2, p. 1-5, 2023Bogota 2023Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Artigo
|
|
Fibring and sheavesPeter Arndt R. A Freire; Odilon Otavio Luciano; Hugo Luiz MarianoCLE e-Prints Campinas v. 5, n. 10, p. 1-20, 2005Campinas 2005Acesso online. A biblioteca também possui exemplares impressos. |
| 4 |
Material Type: Artigo
|
|
A global glance on categories in logicPeter Arndt Rodrigo de Alvarenga Freire; Odilon Otavio Luciano; Hugo Luiz MarianoLogica Universalis Cham v. 1, n. 1, p. 3-39, 2007Cham 2007Localização: IME - Inst. Matemática e Estatística (PROD-2985136 )(Acessar) |
| 5 |
Material Type: Artigo
|
|
On the category of algebraizable logicsPeter Arndt R. A Freire; Odilon Otavio Luciano; Hugo Luiz MarianoCLE E-Prints Campinas v. 6, n. 1, p. 1-24, 2006Campinas 2006Acesso online. A biblioteca também possui exemplares impressos. |
| 6 |
Material Type: Artigo de Congresso
|
|
The von Neumann-regular hull of (preordered) rings and quadratic formsPeter Arndt Hugo Luiz Mariano; Workshop Logic and Applications in honor to Francisco Miraglia by the occasion of his 70th birthday (2016 São Paulo)South American Journal of Logic Campinas v. 2, n. 2, p. 201-244, 2016Campinas 2016Acesso online. A biblioteca também possui exemplares impressos. |
| 7 |
Material Type: Artigo de Congresso
|
|
κ-filter pairs and non-finitary logicsPeter Arndt Hugo Luiz Mariano; Darllan Conceição Pinto; World Congress and School on Universal Logic (6. 2018 Vichy, France)Handbook of abstracts Vichy: Vichy University, 2018Vichy Vichy University 2018Acesso online. A biblioteca também possui exemplares impressos. |
| 8 |
Material Type: Artigo de Congresso
|
|
Horn filter pairs and Craig interpolation propertyPeter Arndt Hugo Luiz Mariano; Darllan Conceição Pinto; Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL) (19. 2019 João Pessoa)Book of Abstracts João Pessoa : EDUFCG, 2019João Pessoa EDUFCG 2019Acesso online. A biblioteca também possui exemplares impressos. |
| 9 |
Material Type: Artigo de Congresso
|
|
Finitary filter pairs and propositional logicsPeter Arndt Hugo Luiz Mariano; Darllan Conceição Pinto; Brazilian Logic Conference - EBL (18. (2017 Pirenópolis, Goiás)South American Journal of Logic Campinas v. 4, n. 2, p. 257–280, 2018Campinas 2018Acesso online. A biblioteca também possui exemplares impressos. |
| 10 |
Material Type: Artigo de Congresso
|
|
Filter pairs a new way of presenting logicsPeter Arndt Ramon Jansana; Hugo Luiz Mariano; Darllan Conceição Pinto; World Congress and School on Universal Logic (6. 2018 Vichy, France)Handbook of abstracts Vichy: Vichy University, 2018Vichy Vichy University 2018Acesso online. A biblioteca também possui exemplares impressos. |
Resultados de 1 a 10 de 17 para Produção Intelectual da USP
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Mostrar Somente
- Disponível na Biblioteca (12)
- Recursos Online (8)
Refinar Meus Resultados
Assunto
- Lógica Algébrica (5)
- Teoria Das Categorias (3)
- Lógica Matemática (3)
- Engenharia De Software (2)
- Sistemas De Informação (2)
- Doença De Parkinson (2)
- Efeito Estufa (1)
- Formas Quadráticas (1)
- Coleoptera (1)
- Lógica (1)
- Metano (1)
- Reticulados (1)
- Reciclagem De Resíduos Urbanos (1)
- Mudança Climática (1)
- Estruturas Algébricas Ordenadas (1)
- Papel (Reciclagem) (1)
- Ruminantes (1)
- Teoria Dos Modelos (1)
-
Mais opções
Autor/Criador
- Arndt, P (10)
- Mariano, H (10)
- Pinto, D (6)
- Freire, R (3)
- Silva, C (3)
- Luciano, O (3)
- Braga, R (2)
- Rosenbaum, H (2)
- Sidransky, E (2)
- Masiero, P (2)
- Valente, M (2)
- Lee-Chen, G (2)
- Brice, A (2)
- Camargo, V (2)
- Kropp, P (2)
- Ramos, R (2)
- Barbosa, E (2)
- Oliveira, C (2)
- Eblan, M (2)
- Piveta, E (2)
-
Mais opções
Data de Publicação
- Antes de2006 (2)
- 2006Até2008 (3)
- 2009Até2012 (3)
- 2013Até2018 (5)
- Após 2018 (4)
-
Mais opções
Biblioteca
Idioma
- Inglês (15)
- Português (3)
-
Mais opções
Nome da Publicação
- South American Journal of Logic (2)
- CLE e-prints (2)
- New england journal of medicine (2)
- Handbook of abstracts (2)
- Archive for Mathematical Logic (1)
- Book of Abstracts (1)
- Logica Universalis (1)
- Journal of Dairy Science (1)
- Gestão compartilhada de resíduos na USP : educação ambiental, tecnologia e comunicação (1)
- Boletin de Matematicas (1)
- Anais (1)
- The Journal of Systems and Software (1)
- Inventario y estimación de la biodiversidad en insectos hiperdiversos (Coleoptera, Diptera, Lepidoptera y Hymenoptera) (PrIBES-2000) (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 