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
Functional and Logic Programming
Functional and Logic Programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional and Logic Programming

FLOPS 2001 Herbert Kuchen; Kazunori Ueda

Springer Berlin Heidelberg 2001

Acesso online

2
Functional and logic programming 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings
Functional and logic programming 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional and logic programming 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings

FLOPS 2001 (2001 Tokyo, Japan) Herbert Kuchen 1958-; Kazunori Ueda

Berlin Springer New York c2001

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

3
Advances in Computing Science — ASIAN'97
Advances in Computing Science — ASIAN'97
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in Computing Science — ASIAN'97

Asian Computing Science Conference Rudrapatna Shyamasundar; Kazunori Ueda

Springer Berlin / Heidelberg 1997

Acesso online

4
Advances in computing science-ASIAN '97 Third Asian Computing Science Conference, Kathmandu, Nepal, December 1997 : proceedings
Advances in computing science-ASIAN '97 Third Asian Computing Science Conference, Kathmandu, Nepal, December 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in computing science-ASIAN '97 Third Asian Computing Science Conference, Kathmandu, Nepal, December 1997 : proceedings

Asian Computing Science Conference (3rd 1997 Kathmandu, Nepal) Rudrapatna Shyamasundar 1950-; Kazunori Ueda

Berlin Springer New York c1997

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

5
Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project
Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project
Material Type:
Artigo 		Adicionar ao Meu Espaço

Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project

Ueda, Kazunori

Science of computer programming, 2018-10, Vol.164, p.3-17 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
6
Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project
Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project

Ueda, Kazunori

Functional and Logic Programming, 2016, Vol.9613, p.1-11 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
7
Engineering Grammar-based Type Checking for Graph Rewriting Languages
Engineering Grammar-based Type Checking for Graph Rewriting Languages
Material Type:
Artigo 		Adicionar ao Meu Espaço

Engineering Grammar-based Type Checking for Graph Rewriting Languages

Yamamoto, Naoki ; Ueda, Kazunori

IEEE access, 2022, Vol.10, p.1-1 [Periódico revisado por pares]

Piscataway: IEEE

Texto completo disponível

Citações Citado por
8
Revisiting Graph Types in HyperLMNtal: A Modeling Language for Hypergraph Rewriting
Revisiting Graph Types in HyperLMNtal: A Modeling Language for Hypergraph Rewriting
Material Type:
Artigo 		Adicionar ao Meu Espaço

Revisiting Graph Types in HyperLMNtal: A Modeling Language for Hypergraph Rewriting

Yasen, Alimujiang ; Ueda, Kazunori

IEEE access, 2021, Vol.9, p.133449-133460 [Periódico revisado por pares]

Piscataway: IEEE

Texto completo disponível

Citações Citado por
9
Towards a Substrate Framework of Computation
Towards a Substrate Framework of Computation
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Towards a Substrate Framework of Computation

Ueda, Kazunori

Concurrent Objects and Beyond, p.341-366 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Name Binding is Easy with Hypergraphs
Name Binding is Easy with Hypergraphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Name Binding is Easy with Hypergraphs

YASEN, Alimujiang ; UEDA, Kazunori

IEICE Transactions on Information and Systems, 2018/04/01, Vol.E101.D(4), pp.1126-1140 [Periódico revisado por pares]

Tokyo: The Institute of Electronics, Information and Communication Engineers

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  (822)
  2. Anais de Congresso  (25)
  3. Book Chapters  (13)
  4. Reports  (11)
  5. Livros  (6)
  6. Conjunto de Dados  (5)
  7. magazinearticle  (4)
  8. Imagens  (4)
  9. Videos  (1)
  10. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1984  (26)
  2. 1984Até1993  (62)
  3. 1994Até2003  (144)
  4. 2004Até2014  (358)
  5. Após 2014  (305)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (714)
  2. Japonês  (406)
  3. Russo  (3)
  4. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Ueda, K
  2. FLOPS 2001
  3. Asian Computing Science Conference
  4. Shyamasundar, R
  5. Kuchen, H

Neste Assunto:

  1. Science & Technology
  2. Life Sciences & Biomedicine
  3. Humans
  4. Male
  5. Female

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

Buscando em bases de dados remotas. Favor aguardar.