skip to main content
Idioma:
Refinado por: tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Spectra of monadic second-order formulas with one unary function
Spectra of monadic second-order formulas with one unary function
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Spectra of monadic second-order formulas with one unary function

Gurevich, Y. ; Shelah, S.

18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings, 2003, p.291-300

IEEE

Texto completo disponível

Citações Citado por
2
Choiceless Polynomial Time Logic: Inability to Express
Choiceless Polynomial Time Logic: Inability to Express
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Choiceless Polynomial Time Logic: Inability to Express

Shelah, Saharon

Computer Science Logic, 2000, p.72-125 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Threshold spectra for random graphs
Threshold spectra for random graphs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Threshold spectra for random graphs

Shelah, S ; Spencer, J

Annual ACM Symposium on Theory of Computing: Proceedings of the nineteenth annual ACM conference on Theory of computing, 1987, p.421-424

ACM

Texto completo disponível

Citações Citado por
4
Δ1/3-sets of reals
Δ1/3-sets of reals
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Δ1/3-sets of reals

JUDAH, H ; SHELAH, S

The Journal of symbolic logic, 1993, Vol.58 (1), p.72-80 [Periódico revisado por pares]

Pasadena, CA: Association for Symbolic Logic

Texto completo disponível

Citações Citado por
5
McColm's conjecture [positive elementary inductions]
McColm's conjecture [positive elementary inductions]
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

McColm's conjecture [positive elementary inductions]

Gurevich, Y. ; Immerman, N. ; Shelah, S.

Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 1994, p.10-19

IEEE Comput. Soc. Press

Texto completo disponível

Citações Citado por
6
Promotion of resource enhancement of seahorse in an island community in Negros Occidental, Central Philippines
Promotion of resource enhancement of seahorse in an island community in Negros Occidental, Central Philippines
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Promotion of resource enhancement of seahorse in an island community in Negros Occidental, Central Philippines

Shelah Mae B. Ursua

ASFA Monographs, 2021, p.121-126

Sem texto completo

Citações Citado por
7
Misalignment Tolerances For A Phased Array Imaging System
Misalignment Tolerances For A Phased Array Imaging System
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Misalignment Tolerances For A Phased Array Imaging System

Young, Eric W ; Peters, Shelah M

SPIE 1989

Sem texto completo

Citações Citado por
8
Fixed-point extensions of first-order logic
Fixed-point extensions of first-order logic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Fixed-point extensions of first-order logic

Gurevich, Yuri ; Shelah, Saharon

26th Annual Symposium on Foundations of Computer Science (sfcs 1985), 1985, p.346-353

IEEE

Texto completo disponível

Citações Citado por
9
Nondeterministic linear tasks may require substantially nonlinear deterministic time in the case of sublinear work space
Nondeterministic linear tasks may require substantially nonlinear deterministic time in the case of sublinear work space
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Nondeterministic linear tasks may require substantially nonlinear deterministic time in the case of sublinear work space

Gurevich, Yuri ; Shelah, Saharon

Annual ACM Symposium on Theory of Computing: Proceedings of the twentieth annual ACM symposium on Theory of computing; 02-04 May 1988, 1988, p.281-289

ACM

Texto completo disponível

Citações Citado por
10
Wave-optic model to determine image quality through supersonic boundary and mixing layers
Wave-optic model to determine image quality through supersonic boundary and mixing layers
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Wave-optic model to determine image quality through supersonic boundary and mixing layers

Lawson, Shelah M ; Clark, Rodney L ; Banish, Michele R ; Crouse, Randy F

SPIE 1991

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (11)
  2. Revistas revisadas por pares (2)

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

Buscando em bases de dados remotas. Favor aguardar.