skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Applied Sciences remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Monadic presentations of lambda terms using generalized inductive types
Monadic presentations of lambda terms using generalized inductive types
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Monadic presentations of lambda terms using generalized inductive types

ALTENKIRCH, T ; REUS, B

Lecture notes in computer science, 1999, p.453-466 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
2
Analysis of hybrid systems : An ounce of realism can save an infinity of states
Analysis of hybrid systems : An ounce of realism can save an infinity of states
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Analysis of hybrid systems : An ounce of realism can save an infinity of states

FRÄNZLE, M

Lecture notes in computer science, 1999, p.126-140 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
3
A road-map on complexity for hybrid logics
A road-map on complexity for hybrid logics
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A road-map on complexity for hybrid logics

ARECES, C ; BLACKBURN, P ; MARX, M

Lecture notes in computer science, 1999, p.307-321 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
4
Difference decision diagrams
Difference decision diagrams
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Difference decision diagrams

MØLLER, J ; LICHTENBERG, J ; ANDERSEN, H. R ; HULGAARD, H

Lecture notes in computer science, 1999, p.111-125 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
5
Constraint-Based Analysis of Broadcast Protocols
Constraint-Based Analysis of Broadcast Protocols
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Constraint-Based Analysis of Broadcast Protocols

Delzanno, Giorgio ; Podelski, Andreas ; Esparza, Javier

Computer Science Logic, 1999, p.50-66 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Quantitative Temporal Logic
Quantitative Temporal Logic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Quantitative Temporal Logic

HIRSHFELD, Y ; RABINOVICH, A

Lecture notes in computer science, 1999, p.172-187 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
7
Choice logic programs and Nash equilibria in strategic games
Choice logic programs and Nash equilibria in strategic games
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Choice logic programs and Nash equilibria in strategic games

DE VOS, M ; VERMEIR, D

Lecture notes in computer science, 1999, p.266-276 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
8
Pre-logical relations
Pre-logical relations
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Pre-logical relations

HONSELL, F ; SANNELLA, D

Lecture notes in computer science, 1999, p.546-561 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
9
Lower bounds for space in resolution
Lower bounds for space in resolution
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Lower bounds for space in resolution

TORAN, J

Lecture notes in computer science, 1999, p.362-373 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
10
Descriptive and Parameterized Complexity
Descriptive and Parameterized Complexity
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Descriptive and Parameterized Complexity

Grohe, Martin

Computer Science Logic, 1999, p.14-31 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

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.   

Mostrar Somente

  1. Revistas revisadas por pares (42)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (37)
  2. Artigos  (6)
  3. Book Chapters  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1999  (1)
  2. 1999Até1999  (34)
  3. 2000Até2000  (1)
  4. 2001Até2002  (3)
  5. Após 2002  (6)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.