skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Journal Of The Acm remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Game Semantics for a Polymorphic Programming Language
Game Semantics for a Polymorphic Programming Language
Material Type:
Artigo 		Adicionar ao Meu Espaço

Game Semantics for a Polymorphic Programming Language

LAIRD, J

Journal of the ACM, 2013-08, Vol.60 (4), p.1-27 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
2
Denotational Semantics with Nominal Scott Domains
Denotational Semantics with Nominal Scott Domains
Material Type:
Artigo 		Adicionar ao Meu Espaço

Denotational Semantics with Nominal Scott Domains

LÖSCH, Steffen ; PITTS, Andrew M

Journal of the ACM, 2014-07, Vol.61 (4), p.1-46 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
3
The HOM Problem Is Decidable
The HOM Problem Is Decidable
Material Type:
Artigo 		Adicionar ao Meu Espaço

The HOM Problem Is Decidable

GODOY, Guillem ; GIMENEZ, Omer

Journal of the ACM, 2013-08, Vol.60 (4), p.1-44 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
4
From Almost Optimal Algorithms to Logics for Complexity Classes via Listings and a Halting Problem
From Almost Optimal Algorithms to Logics for Complexity Classes via Listings and a Halting Problem
Material Type:
Artigo 		Adicionar ao Meu Espaço

From Almost Optimal Algorithms to Logics for Complexity Classes via Listings and a Halting Problem

Chen, Yijia ; Flum, Jörg

Journal of the ACM, 2012-08, Vol.59 (4), p.1-34 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
5
On the Expressiveness and Complexity of Randomization in Finite State Monitors
On the Expressiveness and Complexity of Randomization in Finite State Monitors
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the Expressiveness and Complexity of Randomization in Finite State Monitors

CHADHA, Rohit ; PRASAD SISTLA, A ; VISWANATHAN, Mahesh

Journal of the ACM, 2009-08, Vol.56 (5), p.1-44 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
6
The complexity of probabilistic verification
The complexity of probabilistic verification
Material Type:
Artigo 		Adicionar ao Meu Espaço

The complexity of probabilistic verification

COURCOUBETIS, C ; YANNAKAKIS, M

Journal of the ACM, 1995-07, Vol.42 (4), p.857-907 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
7
Polynomial Multiplication over Finite Fields in Time \( O(n \log n \)
Polynomial Multiplication over Finite Fields in Time \( O(n \log n \)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Polynomial Multiplication over Finite Fields in Time \( O(n \log n \)

Harvey, David ; van der Hoeven, Joris

Journal of the ACM, 2022-04, Vol.69 (2), p.1-40, Article 12 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
8
NFA Admits an FPRAS: Efficient Enumeration, Counting, and Uniform Generation for Logspace Classes
NFA Admits an FPRAS: Efficient Enumeration, Counting, and Uniform Generation for Logspace Classes
Material Type:
Artigo 		Adicionar ao Meu Espaço

NFA Admits an FPRAS: Efficient Enumeration, Counting, and Uniform Generation for Logspace Classes

Arenas, Marcelo ; Croquevielle, Luis Alberto ; Jayaram, Rajesh ; Riveros, Cristian

Journal of the ACM, 2021-12, Vol.68 (6), p.1-40 [Periódico revisado por pares]

New York: Association for Computing Machinery

Texto completo disponível

Citações Citado por
9
Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length
Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length
Material Type:
Artigo 		Adicionar ao Meu Espaço

Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length

Bournez, Olivier ; Graça, Daniel S. ; Pouly, Amaury

Journal of the ACM, 2017-12, Vol.64 (6), p.1-76 [Periódico revisado por pares]

New York: Association for Computing Machinery

Texto completo disponível

Citações Citado por
10
Constructing deterministic finite-state automata in recurrent neural networks
Constructing deterministic finite-state automata in recurrent neural networks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Constructing deterministic finite-state automata in recurrent neural networks

OMLIN, C. W ; GILES, C. L

Journal of the ACM, 1996-11, Vol.43 (6), p.937-972 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.