skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover assunto: Logic remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Super Exponentials in Linear Logic
Super Exponentials in Linear Logic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Super Exponentials in Linear Logic

Bauer, Esaïe ; Laurent, Olivier

Electronic proceedings in theoretical computer science, 2021, Vol.353, p.50-73

Texto completo disponível

Citações Citado por
2
Bisimulations for intuitionistic temporal logics
Bisimulations for intuitionistic temporal logics
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Bisimulations for intuitionistic temporal logics

Balbiani, Philippe ; Boudou, Joseph ; Marín Diéguez ; Fernández-Duque, David

arXiv.org, 2018

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Demystifying Reachability in Vector Addition Systems
Demystifying Reachability in Vector Addition Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Demystifying Reachability in Vector Addition Systems

Leroux, Jerome ; Schmitz, Sylvain

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.56-67

IEEE Computer Society

Texto completo disponível

Citações Citado por
4
Unifying Hyper and Epistemic Temporal Logics
Unifying Hyper and Epistemic Temporal Logics
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Unifying Hyper and Epistemic Temporal Logics

Bozzelli, Laura ; Maubert, Bastien ; Pinchinat, Sophie

Foundations of Software Science and Computation Structures, p.167-182 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Synthesizing Probabilistic Invariants via Doob’s Decomposition
Synthesizing Probabilistic Invariants via Doob’s Decomposition
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Synthesizing Probabilistic Invariants via Doob’s Decomposition

Barthe, Gilles ; Espitau, Thomas ; Ferrer Fioriti, Luis María ; Hsu, Justin

Computer Aided Verification, p.43-61 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
6
Deciding Entailments in Inductive Separation Logic with Tree Automata
Deciding Entailments in Inductive Separation Logic with Tree Automata
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Deciding Entailments in Inductive Separation Logic with Tree Automata

Iosif, Radu ; Rogalewicz, Adam ; Vojnar, Tomáš

Automated Technology for Verification and Analysis, p.201-218 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
Foundational nonuniform (co)datatypes for higher-order logic
Foundational nonuniform (co)datatypes for higher-order logic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Foundational nonuniform (co)datatypes for higher-order logic

Blanchette, Jasmin ; Meier, Fabian ; Popescu, Andrei ; Traytel, Dmitriy

2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, p.1-12

IEEE Press

Texto completo disponível

Citações Citado por
8
Weighted Relational Models of Typed Lambda-Calculi
Weighted Relational Models of Typed Lambda-Calculi
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Weighted Relational Models of Typed Lambda-Calculi

Laird, Jim ; Manzonetto, Giulio ; McCusker, Guy ; Pagani, Michele

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013, p.301-310

IEEE Computer Society

Texto completo disponível

Citações Citado por
9
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL

Balbiani, Philippe ; Herzig, Andreas ; Troquard, Nicolas

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013, p.143-152

IEEE Computer Society

Texto completo disponível

Citações Citado por
10
Neighborhood Contingency Logic
Neighborhood Contingency Logic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Neighborhood Contingency Logic

Fan, Jie ; van Ditmarsch, Hans

Logic and Its Applications, p.88-99 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

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.   

Mostrar Somente

  1. Revistas revisadas por pares (1.469)

Data de Publicação 

De até
Refinar
  1. Antes de1988  (31)
  2. 1988Até1995  (1.256)
  3. 1996Até2003  (2.523)
  4. 2004Até2012  (4.385)
  5. Após 2012  (2.001)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (201)
  2. Chinês  (3)
  3. Espanhol  (2)
  4. Português  (1)
  5. Francês  (1)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.