Resultados de 1 a 10 de 260 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (258)
- Revistas revisadas por pares (256)
Refinado por:
assunto:
F.4.1
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Node Replication: Theory And PracticeKesner, Delia ; Peyrot, Loïc ; Ventura, DanielLogical methods in computer science, 2024-01, Vol.20, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and ApplicationsCerda, Rémy ; Auclair, Lionel VauxLogical methods in computer science, 2023-12, Vol.19, Issue 4 (4) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
A proof system for graph (non)-isomorphism verificationBanković, Milan ; Drecun, Ivan ; Marić, FilipLogical methods in computer science, 2023-02, Vol.19, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Relational Models for the Lambek Calculus with Intersection and ConstantsKuznetsov, Stepan L.Logical 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 |
| 5 |
Material Type: Artigo
|
|
A Nivat Theorem for Weighted Alternating Automata over Commutative SemiringsGrabolle, GustavLogical 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 |
| 6 |
Material Type: Artigo
|
|
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of ChoiceMaietti, Maria Emilia ; Maschio, Samuele ; Rathjen, MichaelLogical methods in computer science, 2022-11, Vol.18, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Typability and Type Inference in Atomic PolymorphismProtin, M. Clarence ; Ferreira, GildaLogical methods in computer science, 2022-08, Vol.18, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time SpectroscopyBisping, Benjamin ; Jansen, David N. ; Nestmann, UweLogical methods in computer science, 2022-08, Vol.18, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax ExtensionsWild, Paul ; Schröder, LutzLogical methods in computer science, 2022-06, Vol.18, Issue 2 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Circular Proofs as Session-Typed Processes: A Local Validity ConditionDerakhshan, Farzaneh ; Pfenning, FrankLogical methods in computer science, 2022-05, Vol.18, Issue 2 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
Resultados de 1 a 10 de 260 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr 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
Mostrar Somente
- Recursos Online (258)
- Revistas revisadas por pares (256)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (254)
- Book Chapters (4)
- Anais de Congresso (2)
-
Mais opções
Assunto
- Computer Science - Logic In Computer Science (226)
- Science & Technology (214)
- Computer Science (212)
- Technology (209)
- Computer Science, Theory & Methods (207)
- Logic (207)
- Science & Technology - Other Topics (205)
- F.3.2 (42)
- Mathematics - Logic (39)
- F.3.1 (30)
- Logic In Computer Science (26)
- F.4.3 (23)
- Computer Science - Computational Complexity (23)
- Computer Science - Programming Languages (21)
- F.1.1 (19)
- Mathematics (18)
- I.2.4 (15)
- D.3.1 (13)
- I.2.3 (13)
-
Mais opções
Data de Publicação
- Antes de1994 (6)
- 1994Até2004 (5)
- 2005Até2009 (100)
- 2010Até2017 (76)
- Após 2017 (73)
-
Mais opções
Base de Dados/Biblioteca
- DOAJ Directory of Open Access Journals (246)
- EZB Electronic Journals Library (245)
- ROAD: Directory of Open Access Scholarly Resources (244)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (244)
- Science Citation Index Expanded (Web of Science) (203)
- EBSCOhost Computers and Applied Sciences Complete (5)
- Lecture Notes in Computer Science Archive (through to 1996) (5)
- Academic Search Premier (EB_SDU_P3) (5)
- IngentaConnect Journals (4)
- SpringerLINK Lecture Notes in Computer Science (2015) (4)
- Taylor & Francis E-Journals (4)
- Taylor & Francis Open access Read & Publish (4)
- Taylor & Francis Current Content Access (4)
- SpringerLink Books Lecture Notes in Computer Science Archive (2)
- SpringerNature Journals (2)
- Springer Books Online Archive (2)
- Springer Books (2)
- Springer Nature - Springer Journals All 2022 (1)
- Elsevier (1)
- UCL Discovery (1)
-
Mais opções
Nome da Publicação
- Logical Methods In Computer Science (243)
- Arxiv (21)
- Doaj (16)
- International Journal Of Computer Mathematics (4)
- Hal (3)
- South African Computer Journal = Suid-Afrikaanse Rekenaartydskrif (2)
- Applicable Algebra In Engineering, Communication And Computing (1)
- Discrete Mathematics And Theoretical Computer Science (1)
- Annals Of Pure And Applied Logic (1)
- Bit (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 