skip to main content

Idioma:

Resultados de 1 a 10 de 19.617 para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Mostrar Somente

Revistas revisadas por pares (18.109)

Refinado por: Base de dados/Biblioteca: EZB Electronic Journals Library

remover

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	$text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity$ $text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity$ Material Type: Artigo		text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity Cohen, Liron ; Rahli, Vincent Logical methods in computer science, 2024-06, Vol.20, Issue 2 [Periódico revisado por pares] Logical Methods in Computer Science e.V Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
2	$Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials$ $Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials$ Material Type: Artigo		Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials Grädel, Erich ; Lücking, Niels ; Naaf, Matthias Logical methods in computer science, 2024-03, Vol.20, Issue 1 [Periódico revisado por pares] Logical Methods in Computer Science e.V Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
3	Material Type: Artigo		SAT-Inspired Higher-Order Eliminations Blanchette, Jasmin ; Vukmirović, Petar Logical methods in computer science, 2023-05, Vol.19, Issue 2 [Periódico revisado por pares] Logical Methods in Computer Science e.V Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
4	Material Type: Artigo		Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties Kapur, Deepak Logical methods in computer science, 2023-03, Vol.19, Issue 1 [Periódico revisado por pares] Logical Methods in Computer Science e.V Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
5	$Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines$ $Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines$ Material Type: Artigo		Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines Biernacka, Małgorzata ; Biernacki, Dariusz ; Lenglet, Sergueï ; Polesiuk, Piotr ; Pous, Damien ; Schmitt, Alan Logical methods in computer science, 2024-07, Vol.20, Issue 3 [Periódico revisado por pares] Logical Methods in Computer Science Association Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
6	Material Type: Artigo		A System of Interaction and Structure III: The Complexity of BV and Pomset Logic Nguyên, Lê Thành Dũng ; Straßburger, Lutz Logical methods in computer science, 2023-12, Vol.19, Issue 4 (4) [Periódico revisado por pares] Logical Methods in Computer Science Association Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
7	Material Type: Artigo		Parametricity for Nested Types and GADTs Johann, Patricia ; Ghiorzi, Enrico Logical methods in computer science, 2021-12, Vol.17, Issue 4 [Periódico revisado por pares] Logical Methods in Computer Science e.V Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
8	Material Type: Artigo		Automata theory in nominal sets Bojańczyk, Mikołaj ; Klin, Bartek ; Lasota, Sławomir Logical methods in computer science, 2014-08, Vol.10, Issue 3 [Periódico revisado por pares] Logical Methods in Computer Science e.V Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
9	Material Type: Artigo		A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct Guha, Shibashis ; Jecker, Ismaël ; Lehtinen, Karoliina ; Zimmermann, Martin Logical methods in computer science, 2024-01, Vol.20, Issue 1 [Periódico revisado por pares] Logical Methods in Computer Science e.V Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
10	Material Type: Artigo		Games Where You Can Play Optimally with Arena-Independent Finite Memory Bouyer, Patricia ; Roux, Stéphane Le ; Oualhadj, Youssouf ; Randour, Mickael ; Vandenhove, Pierre Logical methods in computer science, 2022-01, Vol.18, Issue 1 [Periódico revisado por pares] Logical Methods in Computer Science Association Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por

Resultados de 1 a 10 de 19.617 para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Personalize Seus Resultados

Editar

RSS

Enviar página para o Meu Espaço

Refine Search Results

Expandir Meus Resultados

Expandir meus resultados

Mostrar Somente

Revistas revisadas por pares (18.109)

Neste Assunto:

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento