skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Computer Science, Theory & Methods remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Abadi & Lamport and stark: Towards a proof theory for stuttering, dense domains and refinement mappings
Abadi & Lamport and stark: Towards a proof theory for stuttering, dense domains and refinement mappings
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Abadi & Lamport and stark: Towards a proof theory for stuttering, dense domains and refinement mappings

Diepstraten, Eduard ; Kuiper, Ruurd Rozenberg, G. ; de Roever, W. -P. ; de Bakker, J. W.

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness, 1990, p.208-238 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
About Models Derived from Colonies
About Models Derived from Colonies
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

About Models Derived from Colonies

Vavrecková, Šárka ; Cienciala, Ludek ; Ciencialová, Lucie Rozenberg, Grzegorz ; Sempere, José M. ; Salomaa, Arto ; Zandron, Claudio

Membrane Computing, p.369-386 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
About Splicing P Systems with Immediate Communication and Non-extended Splicing P Systems
About Splicing P Systems with Immediate Communication and Non-extended Splicing P Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

About Splicing P Systems with Immediate Communication and Non-extended Splicing P Systems

Verlan, Sergey Rozenberg, Grzegorz ; Mauri, Giancarlo ; Păun, Gheorghe ; Salomaa, Arto ; Martín-Vide, Carlos

Lecture notes in computer science, 2004, p.369-382 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Abstraction and Control for Shapely Nested Graph Transformation
Abstraction and Control for Shapely Nested Graph Transformation
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Abstraction and Control for Shapely Nested Graph Transformation

Hoffmann, Berthold Rozenberg, Grzegorz ; Corradini, Andrea ; Ehrig, Hartmut ; Kreowski, Hans -Jörg

Graph Transformation, 2002, p.177-191 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Abstraction in real time process algebra
Abstraction in real time process algebra
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Abstraction in real time process algebra

Klusener, A. S. Huizing, C. ; de Roever, W. P. ; Rozenberg, G. ; de Bakker, J. W.

Real-Time: Theory in Practice, 1992, p.325-352 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Accretive rules in Cayley P systems
Accretive rules in Cayley P systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Accretive rules in Cayley P systems

GIAVITTO, Jean-Louis ; MICHEL, Olivier ; COHEN, Julien

Lecture notes in computer science, 2003, p.319-338 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
7
Actor grammars
Actor grammars
Material Type:
Artigo 		Adicionar ao Meu Espaço

Actor grammars

Janssens, D. ; Rozenberg, G.

Mathematical Systems Theory, 1989-12, Vol.22 (1), p.75-107 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
8
Adding global forbidding context to context-free grammars
Adding global forbidding context to context-free grammars
Material Type:
Artigo 		Adicionar ao Meu Espaço

Adding global forbidding context to context-free grammars

Ehrenfeucht, A. ; Kleijn, H.C.M. ; Rozenberg, G.

Theoretical computer science, 1985, Vol.37 (3), p.337-360 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
9
Adhesive High-Level Replacement Categories and Systems
Adhesive High-Level Replacement Categories and Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Adhesive High-Level Replacement Categories and Systems

Ehrig, Hartmut ; Habel, Annegret ; Padberg, Julia ; Prange, Ulrike Engels, Gregor ; Rozenberg, Grzegorz ; Ehrig, Hartmut ; Parisi-Presicce, Francesco

Graph Transformations, 2004, p.144-160 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Algebraic Aspects of Parikh Matrices
Algebraic Aspects of Parikh Matrices
Material Type:
Artigo 		Adicionar ao Meu Espaço

Algebraic Aspects of Parikh Matrices

Mateescu, Alexandru Rozenberg, Grzegorz ; Karhumäki, Juhani ; Păun, Gheorghe ; Maurer, Hermann

Theory Is Forever, p.170-180 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (459)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1980  (15)
  2. 1980Até1987  (79)
  3. 1988Até1995  (109)
  4. 1996Até2007  (224)
  5. Após 2007  (54)
  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.