Resultados de 1 a 10 de 53.940 para Busca Geral
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
Refinado por:
Base de dados/Biblioteca:
ROAD: Directory of Open Access Scholarly Resources
Base de dados/Biblioteca:
Science Citation Index Expanded (Web of Science)
nível superior:
Revistas revisadas por pares
Base de dados/Biblioteca:
Science Citation Index Expanded (Web of Science)
nível superior:
Revistas revisadas por pares
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Dynamic Cantor Derivative LogicFernández-Duque, David ; Montacute, YoàvLogical methods in computer science, 2023-01, Vol.19, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof netsChouquet, Jules ; Auclair, Lionel VauxLogical methods in computer science, 2021-12, Vol.17, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Impure Simplicial Complexes: Complete AxiomatizationRandrianomentsoa, Rojo ; van Ditmarsch, Hans ; Kuznets, RomanLogical methods in computer science, 2023-10, Vol.19, Issue 4 (4) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Enumerating Independent Linear InferencesDas, Anupam ; Rice, AlexLogical methods in computer science, 2023-01, Vol.19, Issue 2 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Positive First-Order Logic on Words and GraphsKuperberg, DenisLogical methods in computer science, 2023-01, Vol.19 (3), p.7:1-7:35 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Superposition for Lambda-Free Higher-Order LogicBentkamp, Alexander ; Blanchette, Jasmin ; Cruanes, Simon ; Waldmann, UweLogical methods in computer science, 2021-01, Vol.17 (2) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Proof Theory of Riesz Spaces and Modal Riesz SpacesLucas, Christophe ; Mio, MatteoLogical methods in computer science, 2022-02, Vol.18, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
A Complete Axiomatisation for Quantifier-Free Separation LogicDemri, Stéphane ; Lozes, Étienne ; Mansutti, AlessioLogical methods in computer science, 2021-08, Vol.17, Issue 3 (3), p.17:1-17:64 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Computable analysis and notions of continuity in CoqSteinberg, Florian ; Théry, Laurent ; Thies, HolgerLogical methods in computer science, 2021-05, Vol.17 (2) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
A strong call-by-need calculusBalabonski, Thibaut ; Lanco, Antoine ; Melquiond, GuillaumeLogical methods in computer science, 2023-03, Vol.19, Issue 1 (1) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
Resultados de 1 a 10 de 53.940 para Busca Geral
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
Expandir Meus Resultados
Refinar Meus Resultados
Tipo de Recurso
- Artigos (53.922)
- Resenhas (17)
- magazinearticle (1)
-
Mais opções
Assunto
- Science & Technology (53.803)
- Technology (30.165)
- Physical Sciences (24.356)
- Engineering (19.899)
- Algorithms (14.145)
- Science & Technology - Other Topics (12.896)
- Life Sciences & Biomedicine (12.319)
- Engineering, Electrical & Electronic (11.462)
- Computer Science (11.421)
- Physics (9.812)
- Chemistry (9.312)
- Physics, Applied (8.147)
- Multidisciplinary Sciences (8.016)
- Neural Networks (7.498)
- Methods (7.465)
- Computer Science, Information Systems (7.379)
- Mathematics (5.992)
- Machine Learning (5.858)
- Engineering, Multidisciplinary (5.714)
- Humans (5.681)
-
Mais opções
Data de Publicação
- Antes de1993 (12)
- 1993Até2000 (172)
- 2001Até2008 (1.131)
- 2009Até2017 (14.336)
- Após 2017 (38.290)
-
Mais opções
Base de Dados/Biblioteca
- DOAJ Directory of Open Access Journals (52.981)
- EZB Electronic Journals Library (52.810)
- Academic OneFile (40.076)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (29.766)
- IngentaConnect Journals (28.698)
- PubMed Central (20.657)
- EBSCO_MEDLINE Complete（医学期刊全文数据库） (8.305)
- Academic Search Premier (7.266)
- Materials Research Database (6.354)
- Engineered Materials Abstracts (6.201)
- METADEX (5.671)
- Aerospace Database (5.346)
- Springer journals (4.789)
- SpringerOpen (4.515)
- Open Access Journals (Hindawi Publishing) (4.442)
- PLoS (4.096)
- Nature Free (3.236)
- Nature Journals (3.210)
-
Mais opções
Idioma
Nome da Publicação
- Sensors (3.904)
- Applied Sciences (3.419)
- Plos One (3.312)
- Electronics (3.068)
- Ieee Access (2.576)
- Sustainability (2.441)
- Energies (2.334)
- Mathematical Problems In Engineering (2.031)
- Scientific Reports (1.904)
- Mathematics (1.674)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 