Carregando...
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos
Perfis
Meu perfil
Minha biblioteca
Métricas
Alertas
Configurações
Fazer login
Fazer login
Perfis
Meu perfil
Minha biblioteca
Delia Kesner
Professor in Computer Science, Université de Paris
E-mail confirmado em irif.fr
Citado por 2221
semantics of programming languages
proof theory
rewriting
concurrenty theory
Privacidade
Termos
Ajuda
Sobre o Google Acadêmico
Ajuda da Pesquisa