Resultados de 1 a 10 de 33 para Busca Geral
Mostrar Somente
- Recursos Online (28)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
PrefaceArmando, Alessandro ; Baumgartner, Peter ; Dowek, GillesJournal of automated reasoning, 2010, Vol.45 (2), p.89-89 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
| 2 |
Material Type: Ata de Congresso
|
|
Causal Graph DynamicsArrighi, Pablo ; Dowek, Gilles Wattenhofer, Roger ; Mehlhorn, Kurt ; Czumaj, Artur ; Pitts, AndrewAutomata, Languages, and Programming, 2012, Vol.7392, p.54-66 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Lineal: A linear-algebraic lambda-calculusArrighi, Pablo ; Dowek, GillesLogical methods in computer science, 2013 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
A modular construction of type theoriesBlanqui, Frédéric ; Dowek, Gilles ; Grienenberger, Emilie ; Hondet, Gabriel ; Thiré, FrançoisLogical methods in computer science, 2023-02, Vol.19, Issue 1 (1) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 5 |
Material Type: Ata de Congresso
|
|
From Rewrite Rules to Axioms in the λΠ-Calculus Modulo TheoryBlot, Valentin ; Dowek, Gilles ; Traversié, Thomas ; Winterhalter, ThéoLecture Notes in Computer Science, International Conference on Foundations of Software Science and Computation Structures, 2024, Vol.14575 (2), p.3-23 [Periódico revisado por pares]Springer Nature SwitzerlandSem texto completo |
| 6 |
Material Type: Ata de Congresso
|
|
A Completion Method to Decide Reachability in Rewrite SystemsBurel, Guillaume ; Dowek, Gilles ; Jiang, Ying Ranise, Silvio ; Lutz, CarstenFrontiers of Combining Systems, 2015, Vol.9322, p.205-219 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Universality in two dimensionsDershowitz, Nachum ; Dowek, GillesJournal of logic and computation, 2016-02, Vol.26 (1), p.143-167 [Periódico revisado por pares]Oxford University Press (OUP)Texto completo disponível |
| 8 |
Material Type: Ata de Congresso
|
|
Typing Quantum Superpositions and MeasurementDíaz-Caro, Alejandro ; Dowek, Gilles Vega-Rodríguez, Miguel A. ; Martín-Vide, Carlos ; Neruda, RomanTheory and Practice of Natural Computing, 2017, Vol.10687, p.281-293 [Periódico revisado por pares]Cham: Springer International PublishingSem texto completo |
| 9 |
Material Type: Artigo
|
|
A new connective in natural deduction, and its application to quantum computingDíaz-Caro, Alejandro ; Dowek, GillesTheoretical computer science, 2023-05, Vol.957, p.113840, Article 113840 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Extensional proofs in a propositional logic modulo isomorphismsDíaz-Caro, Alejandro ; Dowek, GillesTheoretical computer science, 2023-10, Vol.977, p.114172, Article 114172 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
Resultados de 1 a 10 de 33 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (28)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (21)
- Anais de Congresso (7)
- Book Chapters (3)
- Livros (2)
-
Mais opções
Assunto
- Computer Science (32)
- Science & Technology (26)
- Technology (24)
- Computer Science, Theory & Methods (22)
- Logic In Computer Science (15)
- Logic (11)
- Mathematics (9)
- Science & Technology - Other Topics (8)
- Exact Sciences And Technology (6)
- Computer Science, Software Engineering (5)
- Computer Science, Artificial Intelligence (5)
- Theoretical Computing (5)
- Applied Sciences (5)
- Computer Science; Control Theory; Systems (5)
- Logic And Foundations (4)
- Mathematical Logic, Foundations, Set Theory (4)
- Artificial Intelligence (4)
- Physical Sciences (4)
- Sciences And Techniques Of General Use (4)
- Cut Elimination (3)
-
Mais opções
Data de Publicação
- Antes de2001 (4)
- 2001Até2005 (5)
- 2006Até2010 (4)
- 2011Até2016 (12)
- Após 2016 (10)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (20)
- EZB* (12)
- SpringerLINK Lecture Notes in Computer Science (2015) (11)
- SpringerLINK Lecture Notes in Computer Science (11)
- ScienceDirect® (9)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (5)
- Springer Books (5)
- Oxford Journals (4)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (4)
- SpringerLink Books Lecture Notes in Computer Science Archive (3)
- ROAD (3)
- Computers & Applied Sciences Complete - EBSCO (3)
- DOAJ Directory of Open Access Journals (3)
- Springer Books Online Archive (3)
- Springer Nature - Springer Journals All 2022 (2)
- SpringerLink_现刊 (2)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access (2)
- SpringerLink Fully Open Access Books (1)
- ACM Digital Library (1)
-
Mais opções
Nome da Publicação
- Theoretical Computer Science (6)
- Logical Methods In Computer Science (3)
- Information And Computation (2)
- Journal Of Automated Reasoning (2)
- Journal Of Logic And Computation (2)
- Computer Journal (2)
- Mathematical Structures In Computer Science (1)
- Arxiv (1)
- Acm Transactions On Computational Logic (1)
- Biosystems (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 