skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Predicates and fibrations from type theoretical to category theoretical presentation of constructive logic
Predicates and fibrations from type theoretical to category theoretical presentation of constructive logic
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Predicates and fibrations from type theoretical to category theoretical presentation of constructive logic

Dusko Pavlovic D Van Dale; Ieke Moerdijk

1990

Localização: IME - Inst. Matemática e Estatística  MARTA CAVALLO BUNGE  (BUNGE QA9.T P338p e.1 )(Acessar)

2
A new description of orthogonal bases
A new description of orthogonal bases
Material Type:
Artigo 		Adicionar ao Meu Espaço

A new description of orthogonal bases

COECKE, BOB ; PAVLOVIC, DUSKO ; VICARY, JAMIE

Mathematical structures in computer science, 2013-06, Vol.23 (3), p.555-567 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
3
Programs As Diagrams: From Categorical Computability to Computable Categories
Programs As Diagrams: From Categorical Computability to Computable Categories
Material Type:
Livro 		Adicionar ao Meu Espaço

Programs As Diagrams: From Categorical Computability to Computable Categories

Pavlovic, Dusko

Cham: Springer 2023

Sem texto completo

Citações Citado por
4
Probabilistic Annotations for Protocol Models: Dedicated to Joshua Guttman
Probabilistic Annotations for Protocol Models: Dedicated to Joshua Guttman
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Probabilistic Annotations for Protocol Models: Dedicated to Joshua Guttman

Pavlovic, Dusko

Protocols, Strands, and Logic, 2021, p.332-347 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
5
Monoidal computer I: Basic computability by string diagrams
Monoidal computer I: Basic computability by string diagrams
Material Type:
Artigo 		Adicionar ao Meu Espaço

Monoidal computer I: Basic computability by string diagrams

Pavlovic, Dusko

Information and computation, 2013-05, Vol.226, p.94-116 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
6
Logic of Fusion: Dedicated to Andre Scedrov
Logic of Fusion: Dedicated to Andre Scedrov
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Logic of Fusion: Dedicated to Andre Scedrov

Pavlovic, Dusko

Logic, Language, and Security, p.48-60 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
7
(Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras
(Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras
Material Type:
Artigo 		Adicionar ao Meu Espaço

(Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras

Pavlovic, Dusko ; Seidel, Peter-Michael

Electronic proceedings in theoretical computer science, 2017-01, Vol.236 (Proc. QPL 2016), p.145-160

Open Publishing Association

Texto completo disponível

Citações Citado por
8
Dynamic Distributed Secure Storage Against Ransomware
Dynamic Distributed Secure Storage Against Ransomware
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dynamic Distributed Secure Storage Against Ransomware

Castiglione, Jason ; Pavlovic, Dusko

IEEE transactions on computational social systems, 2020-12, Vol.7 (6), p.1469-1475 [Periódico revisado por pares]

Piscataway: IEEE

Texto completo disponível

Citações Citado por
9
Universal probability-free prediction
Universal probability-free prediction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Universal probability-free prediction

Vovk, Vladimir ; Pavlovic, Dusko

Annals of mathematics and artificial intelligence, 2017-10, Vol.81 (1-2), p.47-70 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
10
Smooth coalgebra: testing vector analysis
Smooth coalgebra: testing vector analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Smooth coalgebra: testing vector analysis

PAVLOVIC, DUSKO ; FAUSER, BERTFRIED

Mathematical structures in computer science, 2017-10, Vol.27 (7), p.1195-1235 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (148)
  2. Book Chapters  (75)
  3. Anais de Congresso  (26)
  4. Reports  (7)
  5. Livros  (6)
  6. Web Resources  (2)
  7. Resenhas  (2)
  8. Produções Acadêmicas  (1)
  9. Dissertações  (1)
  10. Mais opções open sub menu

Autor/Criador 

  1. Van Dale, D  (1)
  2. Pavlovic, D  (1)
  3. Moerdijk, I  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1997  (13)
  2. 1997Até2003  (19)
  3. 2004Até2009  (49)
  4. 2010Até2016  (84)
  5. Após 2016  (99)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (263)
  2. Croatian  (7)
  3. Japonês  (4)
  4. Português  (1)
  5. Holandês  (1)
  6. Serbian  (1)
  7. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Van Dale, D
  2. Pavlovic, D
  3. Moerdijk, I

Neste Assunto:

  1. Science & Technology
  2. Computer Science
  3. Technology
  4. Mathematics - Category Theory
  5. Life Sciences & Biomedicine

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.