ReP

Filtros

• Bases
  • produção científica (~11)
• Tipo de material
  • trabalho de evento-anais periodico (~9)
  • artigo de periodico-apres/intr (~2)
• Grau
• Unidades USP
  • ime (~9)
  • icmc (~2)
• Departamento
  • ime-mac (~8)
  • ime-mat (~1)
• Autores
  • finger, marcelo (4)
  • melo, ana cristina vieira de (3)
  • cherman, everton alvares (2)
  • monard, maria carolina (2)
  • spolaôr, newton (2)
  mais >>

Autores

• finger, marcelo (4)
• melo, ana cristina vieira de (3)
• cherman, everton alvares (2)
• monard, maria carolina (2)
• spolaôr, newton (2)
• bianconi, ricardo (1)
• coutinho, gabriel (1)
• fernández, maribel (1)
• kaestner, celso a. a. (1)
• kohayakawa, yoshiharu (1)
• lee, huei diana (1)
• neto, adolfo (1)
• santos, vinicius dos (1)
• silva, paulo salem da (1)
• tomás, jimena torres (1)
• urrutia, sebastián (1)
• wassermann, renata (1)

Fechar
• Autores USP
  • finger, marcelo (4)
  • melo, ana cristina vieira de (3)
  • monard, maria carolina (2)
  • bianconi, ricardo (1)
  • kohayakawa, yoshiharu (1)
  mais >>

Autores USP

• finger, marcelo (4)
• melo, ana cristina vieira de (3)
• monard, maria carolina (2)
• bianconi, ricardo (1)
• kohayakawa, yoshiharu (1)
• silva, paulo salem da (1)
• wassermann, renata (1)

Fechar
• Ano de publicação
  • 2019 (1)
  • 2014 (2)
  • 2013 (1)
  • 2009 (3)
  • 2005 (1)
  mais >>

Ano de publicação

• 2019 (1)
• 2014 (2)
• 2013 (1)
• 2009 (3)
• 2005 (1)
• 2004 (1)
• 2003 (1)
• 2002 (1)

Fechar
• Assuntos
  • inteligência artificial (3)
  • lógica formal (2)
  • ciência da computação (1)
  • computabilidade e complexidade (1)
  • java (1)
  mais >>

Assuntos

• inteligência artificial (3)
• lógica formal (2)
• ciência da computação (1)
• computabilidade e complexidade (1)
• java (1)
• modelos de processo de software (1)
• modelos matemáticos (1)
• programação matemática (1)
• representação de conhecimento (1)
• teoria dos autômatos (1)
• teoria dos conjuntos (1)
• teoria dos grafos (1)
• variedades complexas (1)
• web semântica (1)

Fechar
• Idioma
  • inglês (~11)
• Título da fonte
  • electronic notes in theoretical computer science (~11)
• Editora
  • elsevier (~5)
• Nome do evento
  • brazilian symposium on formal methods - sbmf (2)
  • workshop on logical and semantic frameworks, with applications - lsfa (2)
  • brazilian workshop on formal methods - wmf (1)
  • latin american computing conference - clei (1)
  • latin american conference in informatics - clei (1)
  mais >>

Nome do evento

• brazilian symposium on formal methods - sbmf (2)
• workshop on logical and semantic frameworks, with applications - lsfa (2)
• brazilian workshop on formal methods - wmf (1)
• latin american computing conference - clei (1)
• latin american conference in informatics - clei (1)
• latin and american algorithms, graphs and optimization symposium - lagos (1)
• workhop on logic, language, information and computation - wollic (1)
• workshop on logic, language, information and computation - wollic (1)

Fechar
• ODS
• País de publicação
  • holanda (~11)
• Grupo de pesquisa