skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
CONCUR 2003 - concurrency theory 14th international conference, Marseille, France, September 3-5, 2003 : proceedings
CONCUR 2003 - concurrency theory 14th international conference, Marseille, France, September 3-5, 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CONCUR 2003 - concurrency theory 14th international conference, Marseille, France, September 3-5, 2003 : proceedings

International Conference on Concurrency Theory (14th 2003 Marseille, France) Roberto M Amadio; Denis Lugiez

Berlin Springer New York c2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2761 )(Acessar)

2
CONCUR 2003 - Concurrency Theory
CONCUR 2003 - Concurrency Theory
Material Type:
Livro 		Adicionar ao Meu Espaço

CONCUR 2003 - Concurrency Theory

International Conference on Concurrency Theory Roberto M Amadio; Denis Lugiez

Springer Berlin Heidelberg 2003

Acesso online

3
CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings
CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings

Amadio, Roberto ; Lugiez, Denis Lugiez, Denis ; Amadio, Roberto

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
4
FORWARD ANALYSIS OF DYNAMIC NETWORK OF PUSHDOWN SYSTEMS IS EASIER WITHOUT ORDER
FORWARD ANALYSIS OF DYNAMIC NETWORK OF PUSHDOWN SYSTEMS IS EASIER WITHOUT ORDER
Material Type:
Artigo 		Adicionar ao Meu Espaço

FORWARD ANALYSIS OF DYNAMIC NETWORK OF PUSHDOWN SYSTEMS IS EASIER WITHOUT ORDER

LUGIEZ, DENIS

International journal of foundations of computer science, 2011-06, Vol.22 (4), p.843-862 [Periódico revisado por pares]

World Scientific Publishing Company

Texto completo disponível

Citações Citado por
5
Multitree automata that count
Multitree automata that count
Material Type:
Artigo 		Adicionar ao Meu Espaço

Multitree automata that count

Lugiez, Denis

Theoretical computer science, 2005-03, Vol.333 (1), p.225-263 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
6
Complexity of modal logics with Presburger constraints
Complexity of modal logics with Presburger constraints
Material Type:
Artigo 		Adicionar ao Meu Espaço

Complexity of modal logics with Presburger constraints

Demri, Stéphane ; Lugiez, Denis

Journal of applied logic, 2010-09, Vol.8 (3), p.233-252 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
7
Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order
Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order

Lugiez, Denis

Reachability Problems, p.127-140 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
8
CONCUR 2003 - Concurrency Theory, 14th International Conference
CONCUR 2003 - Concurrency Theory, 14th International Conference
Material Type:
Livro 		Adicionar ao Meu Espaço

CONCUR 2003 - Concurrency Theory, 14th International Conference

Amadio, Roberto ; Lugiez, Denis

Springer Verlag 2003

Sem texto completo

Citações Citado por
9
Intruder deduction for the equational theory of Abelian groups with distributive encryption
Intruder deduction for the equational theory of Abelian groups with distributive encryption
Material Type:
Artigo 		Adicionar ao Meu Espaço

Intruder deduction for the equational theory of Abelian groups with distributive encryption

Lafourcade, Pascal ; Lugiez, Denis ; Treinen, Ralf

Information and computation, 2007, Vol.205 (4), p.581-623 [Periódico revisado por pares]

San Diego, CA: Elsevier Inc

Texto completo disponível

Citações Citado por
10
Symbolic protocol analysis for monoidal equational theories
Symbolic protocol analysis for monoidal equational theories
Material Type:
Artigo 		Adicionar ao Meu Espaço

Symbolic protocol analysis for monoidal equational theories

Delaune, Stéphanie ; Lafourcade, Pascal ; Lugiez, Denis ; Treinen, Ralf

Information and computation, 2008-02, Vol.206 (2), p.312-351 [Periódico revisado por pares]

San Diego, CA: Elsevier Inc

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (15)
  2. Anais de Congresso  (12)
  3. Book Chapters  (12)
  4. Reports  (9)
  5. Livros  (5)
  6. Dissertações  (3)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1993  (4)
  2. 1993Até1999  (8)
  3. 2000Até2003  (16)
  4. 2004Até2008  (18)
  5. Após 2008  (7)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (53)
  2. Francês  (3)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.