Resultados de 1 a 10 de 32.773 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
Mostrar Somente
- Recursos Online (28.118)
- Revistas revisadas por pares (19.602)
- Disponível na Biblioteca (1)
Refinado por:
assunto:
Logic
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Groups, languages, algorithms AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, MarylandAMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science (2003 Baltimore, Md.) Alexandre BorovikProvidence, R.I American Mathematical Society c2005Localização: ICMC - Inst. Ciên. Mat. Computação (00-02 CM v.378 ) e outros locais(Acessar) |
| 2 |
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 |
| 3 |
Material Type: Artigo
|
|
A Bit of Nondeterminism Makes Pushdown Automata Expressive and SuccinctGuha, Shibashis ; Jecker, Ismaël ; Lehtinen, Karoliina ; Zimmermann, MartinLogical 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 |
| 4 |
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 |
| 5 |
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 |
| 6 |
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 |
| 7 |
Material Type: Artigo
|
|
An Analytic Propositional Proof System on GraphsAcclavio, Matteo ; Horne, Ross ; Straßburger, LutzLogical methods in computer science, 2022-10, Vol.18, Issue 4 (4) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 8 |
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 |
| 9 |
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 |
| 10 |
Material Type: Artigo
|
|
(Leftmost-Outermost) Beta Reduction is Invariant, IndeedAccattoli, Beniamino ; Lago, Ugo DalLogical methods in computer science, 2016-03, Vol.12, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
Resultados de 1 a 10 de 32.773 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
Mostrar Somente
- Recursos Online (28.118)
- Revistas revisadas por pares (19.602)
- Disponível na Biblioteca (1)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (17.818)
- Anais de Congresso (11.530)
- Book Chapters (2.391)
- Livros (643)
- magazinearticle (201)
- Dissertações (60)
- Reports (58)
- Resenhas (35)
- Recursos Textuais (11)
- Newsletter Articles (9)
- Conjunto de Dados (7)
- Verbetes (7)
- Web Resources (2)
- Artigos de Jornal (1)
-
Mais opções
Assunto
- Computer Science (27.694)
- Science & Technology (27.380)
- Technology (26.045)
- Computer Science, Theory & Methods (14.837)
- Science & Technology - Other Topics (13.587)
- Engineering (6.797)
- Mathematics (6.516)
- Engineering, Electrical & Electronic (6.042)
- Computer Science, Software Engineering (5.805)
- Computer Science, Artificial Intelligence (5.492)
- Physical Sciences (5.231)
- Mathematics, Applied (3.707)
- Computer Science, Hardware & Architecture (3.597)
- Computer Science, Information Systems (3.190)
- Artificial Intelligence (2.954)
- Exact Sciences And Technology (2.911)
- Applied Sciences (2.644)
- Computer Science - Logic In Computer Science (2.454)
- Semantics (2.364)
- Group Theory (26)
- Infinite Groups (1)
- Group Theory (1)
- Finite Groups (1)
- Álgebra (Congressos) (1)
- Teoria Dos Grupos (Congressos) (1)
- Linguagens Formais (Congressos) (1)
-
Mais opções
Autor/Criador
Data de Publicação
- Antes de1969 (81)
- 1969Até1982 (349)
- 1983Até1996 (2.779)
- 1997Até2011 (12.074)
- Após 2011 (17.802)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (13.080)
- IEEE Electronic Library (IEL) Conference Proceedings (7.981)
- SpringerLINK Lecture Notes in Computer Science (4.889)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (4.872)
- ROAD: Directory of Open Access Scholarly Resources (4.430)
- EZB-FREE-00999 freely available EZB journals (4.210)
- EBSCOhost Computers and Applied Sciences Complete (3.662)
- ScienceDirect - Connect here FIRST to enable access (3.321)
- ACM Digital Library (2.733)
- IEEE Electronic Library (IEL) Journals (2.527)
- World Web Journals (2.389)
- arXiv.org (2.350)
- SpringerLink (2.281)
- DOAJ Directory of Open Access Journals (2.247)
- Springer Nature - Springer Journals All 2022 (2.133)
- Springer Books (1.953)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (1.804)
- ANTE: Abstracts in New Technology & Engineering (1.692)
- Oxford Journals (1.634)
-
Mais opções
Idioma
Nome da Publicação
- arXiv.org (2.344)
- Arxiv (1.749)
- Journal Of Logic And Computation (1.550)
- Logical Methods In Computer Science (1.231)
- Journal Of Algorithms (1.110)
- Theory And Practice Of Logic Programming (775)
- Acm Transactions On Computational Logic (553)
- Journal Of Logical And Algebraic Methods In Programming (545)
- The journal Of Logical And Algebraic Methods In Programming/journal Of Logical And Algebraic Methods In Programming (377)
- Logica Universalis (358)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 