Home
About
USP Schools
USP Schools
Escola de Artes, Ciências e Humanidades (EACH)
Escola de Comunicações e Artes (ECA)
Escola de Enfermagem (EE)
Escola de Enfermagem de Ribeirão Preto (EERP)
Escola de Educação Física e Esporte (EEFE)
Escola de Educação Física e Esporte de Ribeirão Preto (EEFERP)
Escola de Engenharia de Lorena (EEL)
Escola de Engenharia de São Carlos (EESC)
Escola Politécnica (EP)
Escola Superior de Agricultura Luiz de Queiroz (ESALQ)
Faculdade de Arquitetura e Urbanismo (FAU)
Faculdade de Ciências Farmacêuticas (FCF)
Faculdade de Ciências Farmacêuticas de Ribeirão Preto (FCFRP)
Faculdade de Direito (FD)
Faculdade de Direito de Ribeirão Preto (FDRP)
Faculdade de Economia, Administração, Contabilidade e Atuária (FEA)
Faculdade de Economia, Administração e Contabilidade de Ribeirão Preto (FEARP)
Faculdade de Educação (FE)
Faculdade de Filosofia, Ciências e Letras de Ribeirão Preto (FFCLRP)
Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH)
Faculdade de Medicina (FM)
Faculdade de Medicina de Ribeirão Preto (FMRP)
Faculdade de Medicina Veterinária e Zootecnia (FMVZ)
Faculdade de Odontologia (FO)
Faculdade de Odontologia de Bauru (FOB)
Faculdade de Odontologia de Ribeirão Preto (FORP)
Faculdade de Saúde Pública (FSP)
Faculdade de Zootecnia e Engenharia de Alimentos (FZEA)
Instituto de Arquitetura e Urbanismo (IAU)
Instituto de Astronomia, Geofísica e Ciências Atmosféricas (IAG)
Instituto de Biociências (IB)
Instituto de Ciências Biomédicas (ICB)
Instituto de Ciências Matemáticas e de Computação (ICMC)
Instituto de Física (IF)
Instituto de Física de São Carlos (IFSC)
Instituto de Geociências (IGc)
Instituto de Matemática e Estatística (IME)
Instituto de Medicina Tropical de São Paulo (IMT)
Instituto de Psicologia (IP)
Instituto de Química (IQ)
Instituto de Química de São Carlos (IQSC)
Instituto de Relações Internacionais (IRI)
Instituto Oceanográfico (IO)
Centro de Biologia Marinha (CEBIMAR)
Centro de Divulgação Científica e Cultural (CDCC)
Centro de Energia Nuclear na Agricultura (CENA)
Hospital de Reabilitação de Anomalias Craniofaciais (HRAC)
Hospital Universitário (HU)
Instituto de Energia e Ambiente (IEE)
Instituto de Estudos Brasileiros (IEB)
Museu de Arqueologia e Etnologia (MAE)
Museu de Arte Contemporânea (MAC)
Museu de Zoologia (MZ)
Museu Paulista (MP)
ReP
User
Menu
Home
Busca técnica
Contact
About
ABCD USP
Filtros
:
"Electronic Notes in Theoretical Computer Science"
Removido:
"2006"
Limpar
Filtros
Sources
produção científica (~15)
Document Types
trabalho de evento-anais periodico (~13)
artigo de periodico-apres/intr (~2)
Grau
USP Schools
ime (~13)
icmc (~2)
Departament
ime-mac (~12)
ime-mat (~1)
Authors
finger, marcelo (5)
melo, ana cristina vieira de (3)
cherman, everton alvares (2)
coutinho, gabriel (2)
fernandes, cristina gomes (2)
mais >>
Authors
finger, marcelo (5)
melo, ana cristina vieira de (3)
cherman, everton alvares (2)
coutinho, gabriel (2)
fernandes, cristina gomes (2)
monard, maria carolina (2)
spolaôr, newton (2)
bianconi, ricardo (1)
botler, fábio happ (1)
cerioli, márcia r (1)
fernández, maribel (1)
godsil, chris (1)
gutierrez, juan (1)
kaestner, celso a. a. (1)
kohayakawa, yoshiharu (1)
lee, huei diana (1)
lee, orlando (1)
lintzmayer, carla negri (1)
mota, guilherme oliveira (1)
neto, adolfo (1)
preto, sandro (1)
roberson, david e (1)
santos, vinicius dos (1)
silva, cândida nunes da (1)
silva, marcel kenji de carli (1)
silva, paulo salem da (1)
tomás, jimena torres (1)
urrutia, sebastián (1)
wassermann, renata (1)
USP affiliated authors
finger, marcelo (5)
melo, ana cristina vieira de (3)
fernandes, cristina gomes (2)
monard, maria carolina (2)
bianconi, ricardo (1)
mais >>
USP affiliated authors
finger, marcelo (5)
melo, ana cristina vieira de (3)
fernandes, cristina gomes (2)
monard, maria carolina (2)
bianconi, ricardo (1)
kohayakawa, yoshiharu (1)
preto, sandro márcio da silva (1)
silva, marcel kenji de carli (1)
silva, paulo salem da (1)
wassermann, renata (1)
Date published
2020 (1)
2019 (4)
2014 (2)
2013 (1)
2009 (3)
mais >>
Date published
2020 (1)
2019 (4)
2014 (2)
2013 (1)
2009 (3)
2005 (1)
2004 (1)
2003 (1)
2002 (1)
Subjects
inteligência artificial (3)
lógica formal (3)
teoria dos grafos (3)
programação matemática (2)
ciência da computação (1)
mais >>
Subjects
inteligência artificial (3)
lógica formal (3)
teoria dos grafos (3)
programação matemática (2)
ciência da computação (1)
computabilidade e complexidade (1)
java (1)
modelos de processo de software (1)
modelos matemáticos (1)
representação de conhecimento (1)
semântica (1)
teoria dos autômatos (1)
teoria dos conjuntos (1)
variedades complexas (1)
web semântica (1)
Language
inglês (~15)
Source title
electronic notes in theoretical computer science (~15)
Publisher
elsevier (~9)
Conference titles
latin and american algorithms, graphs and optimization symposium - lagos (4)
brazilian symposium on formal methods - sbmf (2)
workshop on logical and semantic frameworks, with applications - lsfa (2)
brazilian workshop on formal methods - wmf (1)
international workshop on logical and semantic frameworks, with applications - lsfa 2020 (1)
mais >>
Conference titles
latin and american algorithms, graphs and optimization symposium - lagos (4)
brazilian symposium on formal methods - sbmf (2)
workshop on logical and semantic frameworks, with applications - lsfa (2)
brazilian workshop on formal methods - wmf (1)
international workshop on logical and semantic frameworks, with applications - lsfa 2020 (1)
latin american computing conference - clei (1)
latin american conference in informatics - clei (1)
workhop on logic, language, information and computation - wollic (1)
workshop on logic, language, information and computation - wollic (1)
GDS
Countries/Territories
holanda (~15)
Grupo de pesquisa