skip to main content
Idioma:
Primo Search
Clear Search Box
Search in: Busca Geral
Busca Avançada
Busca por Índices

Proving termination with multiset orderings

Dershowitz, Nachum ; Manna, Zohar

Communications of the ACM, 1979-08, Vol.22 (8), p.465-476

ACM

Texto completo disponível

Citações Citado por

Identifique-se para postar sua resenha

Identifique-se para adicionar novas tags

Voltar para lista de resultados

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

Buscando em bases de dados remotas. Favor aguardar.